PP148 | 1992 Paper in Conference Proceedings | Ireland,A |
---|---|---|
the Use of Planning Critics in Mechanizing Inductive Proof | ||
PP454 | 1990 Paper in Conference Proceedings | Bundy,A; van Harmelen,F; Smaill,AD; Ireland,A |
Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs |