## Robert S. Boyer, J. Strother Moore

*Overview of a Theorem-Prover for A Computational Logic*

CADE, 1986.

@inproceedings{CADE-1986-BoyerM, author = "Robert S. Boyer and J. Strother Moore", booktitle = "{Proceedings of the Eighth International Conference on Automated Deduction}", doi = "10.1007/3-540-16780-3_133", isbn = "3-540-16780-3", pages = "675--678", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Overview of a Theorem-Prover for A Computational Logic}", volume = 230, year = 1986, }