Joseph A. Goguen. Proving and Rewriting. In Hélène Kirchner, Wolfgang Wechler, editors, Algebraic and Logic Programming, Second International Conference, Nancy, France, October 1-3, 1990, Proceedings. Volume 463 of Lecture Notes in Computer Science, pages 1-24, Springer, 1990.
@inproceedings{Goguen90, title = {Proving and Rewriting}, author = {Joseph A. Goguen}, year = {1990}, tags = {graph-rewriting, rewriting}, researchr = {https://researchr.org/publication/Goguen90}, cites = {0}, citedby = {0}, pages = {1-24}, booktitle = {Algebraic and Logic Programming, Second International Conference, Nancy, France, October 1-3, 1990, Proceedings}, editor = {Hélène Kirchner and Wolfgang Wechler}, volume = {463}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-53162-9}, }