The Use of Planning Critics in Mechanizing Inductive Proofs (1992)

by Andrew Ireland
Venue:International Conference on Logic Programming and Automated Reasoning -- LPAR 92, St. Petersburg, Lecture Notes in Artificial Intelligence No. 624