A New Class of Automated Theorem-Proving Algorithms (1974)

by R Overbeek
Venue:Journal of the ACM