Program Tactics and Logic Tactics (1994)

Cached

Download Links

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