## Larry Wos, William McCune

*Challenge Problems Focusing on Equality and Combinatory Logic: Evaluating Automated Theorem-Proving Programs*

CADE, 1988.

@inproceedings{CADE-1988-WosM, author = "Larry Wos and William McCune", booktitle = "{Proceedings of the Ninth International Conference on Automated Deduction}", doi = "10.1007/BFb0012870", isbn = "3-540-19343-X", pages = "714--729", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Challenge Problems Focusing on Equality and Combinatory Logic: Evaluating Automated Theorem-Proving Programs}", volume = 310, year = 1988, }