Program Tactics and Logic Tactics (1994)

by Fausto Giunchiglia, Paolo Traverso
Venue:IN PROCEEDINGS 5TH INTNL. CONFERENCE ON LOGIC PROGRAMMING AND AUTOMATED REASONING (LPAR'94