JP28
| 1991 Journal Paper
| Bundy,A; van Harmelen,F; Hesketh,J; Smaill,AD
|
| Experiments with Proof Plans for Induction
|
CB3
| 1991 Chapter in Edited Book
| Bundy,A
|
| the Use of Proof Plans for Normalization
|
PP441
| 1990 Paper in Conference Proceedings
| Bundy,A; Smaill,AD; van Harmelen,F
|
| Extensions to the Rippling-out Tactic for Guiding Inductive Proofs
|
PP148
| 1992 Paper in Conference Proceedings
| Ireland,A
|
| the Use of Planning Critics in Mechanizing Inductive Proof
|
PP346
| 1989 Paper in Conference Proceedings
| Bundy,A; van Harmelen,F; Hesketh,J; Smaill,AD; Stevens,A
|
| a Rational Reconstruction and Extension of Recursion Analysis
|
PP236
| 1992 Paper in Conference Proceedings
| Bundy,A; Walsh,T; Nunes,A
|
| the Use of Proof Plans to Sum Series
|
JP34
| 1991 Journal Paper
| Lowe,H
|
| Extending the Proof Plan Methodology to Computer Configuration
|
PP718
| 1994 Paper in Conference Proceedings
| Monroy-Borja,R; Bundy,A; Ireland,A
|
| Proof Plans for the Correction of False Conjectures
|
RP600
| 1992 Research Paper
| Bundy,A
|
| How to Solve it by Induction
|