Program tactics and logic tactics (1993)

by F Giunchiglia, P Traverso