Nachum Dershowitz, Mitsuhiro Okada. Proof-Theoretic Techniques for Term Rewriting Theory. In Proceedings, Third Annual Symposium on Logic in Computer Science, 5-8 July 1988, Edinburgh, Scotland, UK. pages 104-111, IEEE Computer Society, 1988.
@inproceedings{DershowitzO88, title = {Proof-Theoretic Techniques for Term Rewriting Theory}, author = {Nachum Dershowitz and Mitsuhiro Okada}, year = {1988}, tags = {term rewriting, graph-rewriting, rewriting}, researchr = {https://researchr.org/publication/DershowitzO88}, cites = {0}, citedby = {0}, pages = {104-111}, booktitle = {Proceedings, Third Annual Symposium on Logic in Computer Science, 5-8 July 1988, Edinburgh, Scotland, UK}, publisher = {IEEE Computer Society}, }