Giunchiglia, Fausto and Walsh, Toby (1989): Abstract Theorem Proving

Title:	Abstract Theorem Proving
Author(s):	Giunchiglia, Fausto and Walsh, Toby
Year:	1989
Booktitle:	Procs. 11th IJCAI

Concepts