Instantiation Theory: On the Foundation of Automated Deduction (1991)

by J G Williams
Venue:of Lecture Notes in Artificial Intelligence