Proof Planning (1996)
by
Alan Bundy
| Venue: | PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON AI PLANNING SYSTEMS, (AIPS |
| Citations: | 24 - 2 self |







