Paths to high-performance automated theorem proving (1986)

by R Butler, E Lusk, W McCune, R Overbeek
Venue:Proceedings of the 8th International Conference on Automated Deduction, Lecture Notes in Computer Science