Title: Theorem proving with abstraction
First published: 1979
Subjects: Predicate calculus, Automatic theorem proving
LC classification: QA76 .I4 no. 961, etc., QA76.9.A96 .I4 no. 961, etc.