Deepak Kapur, Balakrishnan Krishnamurthy
A Natural Proof System Based on rewriting Techniques
CADE, 1984.
@inproceedings{CADE-1984-KapurK, author = "Deepak Kapur and Balakrishnan Krishnamurthy", booktitle = "{Proceedings of the Seventh International Conference on Automated Deduction}", doi = "10.1007/BFb0047113", isbn = "3-540-96022-8", pages = "53--64", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{A Natural Proof System Based on rewriting Techniques}", volume = 170, year = 1984, }