## Jieh Hsiang, Jean-Pierre Jouannaud

*Tutorial on Rewrite-Based Theorem Proving*

CADE, 1990.

@inproceedings{CADE-1990-HsiangJ, author = "Jieh Hsiang and Jean-Pierre Jouannaud", booktitle = "{Proceedings of the 10th International Conference on Automated Deduction}", doi = "10.1007/3-540-52885-7_146", isbn = "3-540-52885-7", pages = "684", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Tutorial on Rewrite-Based Theorem Proving}", volume = 449, year = 1990, }