## Paul Y. Gloess

*An Experiment with the Boyer-Moore Theorem Prover: A Proof of the Correctness of a Simple Parser of Expressions*

CADE, 1980.

@inproceedings{CADE-1980-Gloess, author = "Paul Y. Gloess", booktitle = "{Proceedings of the Fifth International Conference on Automated Deduction}", doi = "10.1007/3-540-10009-1_13", isbn = "3-540-10009-1", pages = "154--169", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{An Experiment with the Boyer-Moore Theorem Prover: A Proof of the Correctness of a Simple Parser of Expressions}", volume = 87, year = 1980, }