## Nachum Dershowitz, Mitsuhiro Okada

*Proof-Theoretic Techniques for Term Rewriting Theory*

LICS, 1988.

@inproceedings{LICS-1988-DershowitzO, author = "Nachum Dershowitz and Mitsuhiro Okada", booktitle = "{Proceedings of the Third Annual Symposium on Logic in Computer Science}", doi = "10.1109/LICS.1988.5108", isbn = "0-8186-0853-6", pages = "104--111", publisher = "{IEEE Computer Society}", title = "{Proof-Theoretic Techniques for Term Rewriting Theory}", year = 1988, }