## Robert S. Boyer, J. Strother Moore

*A Theorem Prover for a Computational Logic*

CADE, 1990.

@inproceedings{CADE-1990-BoyerM, author = "Robert S. Boyer and J. Strother Moore", booktitle = "{Proceedings of the 10th International Conference on Automated Deduction}", doi = "10.1007/3-540-52885-7_75", isbn = "3-540-52885-7", pages = "1--15", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{A Theorem Prover for a Computational Logic}", volume = 449, year = 1990, }