@article{Ariola_1996,
    doi = {10.3233/fi-1996-263401},
    url = {https://doi.org/10.3233%2Ffi-1996-263401},
    year = {1996},
    publisher = {{IOS} Press},
    volume = {26},
    number = {3,4},
    pages = {207--240},
    author = {Zena M. Ariola and Jan Willem Klop},
    title = {{EQUATIONAL} {TERM} {GRAPH} {REWRITING}},
    journal = {Fundamenta Informaticae}
}

@article{Ariola_1996, doi = {10.3233/fi-1996-263401}, url = {https://doi.org/10.3233%2Ffi-1996-263401}, year = {1996}, publisher = {{IOS} Press}, volume = {26}, number = {3,4}, pages = {207--240}, author = {Zena M. Ariola and Jan Willem Klop}, title = {{EQUATIONAL} {TERM} {GRAPH} {REWRITING}}, journal = {Fundamenta Informaticae} }