| 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
|
![[Search These Pages]](http://www.dai.ed.ac.uk/icons/dai_search.gif){kind=icon}
![[DAI Home Page]](http://www.dai.ed.ac.uk/icons/dai_home.gif){kind=icon}
![[Comment]](http://www.dai.ed.ac.uk/icons/dai_comment.gif){kind=icon}