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 |
| Citations: | 19 - 10 self |
Document Versions
| Program Tactics and Logic Tactics –Fausto Giunchiglia, Paolo Traverso — 1994 — IN PROCEEDINGS 5TH INTNL. CONFERENCE ON LOGIC PROGRAMMING AND AUTOMATED REASONING (LPAR'94 |
