Heinrich Hußmann. Nondeterministic Algebraic Specifications and Nonconfluent Term Rewriting. Journal of Logic and Algebraic Programming, 12(3&4):237-255, 1992.
@article{Hussmann92, title = {Nondeterministic Algebraic Specifications and Nonconfluent Term Rewriting}, author = {Heinrich Hußmann}, year = {1992}, tags = {term rewriting, graph-rewriting, algebraic specification, algebra, rewriting}, researchr = {https://researchr.org/publication/Hussmann92}, cites = {0}, citedby = {0}, journal = {Journal of Logic and Algebraic Programming}, volume = {12}, number = {3&4}, pages = {237-255}, }