PP1158
 1997 Paper in Conference Proceedings
 Boulton,R

 A Tool to Support Formal reasoning about Computer Languages

PP1159
 1997 Paper in Conference Proceedings
 Boulton,R; Bundy,A; Slind,A; Gordon,M

 A Prototype Interface between CLAM and HOL

CB3
 1991 Chapter in Edited Book
 Bundy,A

 the Use of Proof Plans for Normalization

PP21
 1991 Paper in Conference Proceedings
 Giunchiglia,F; Walsh,T

 Using Abstraction

PP504
 1990 Paper in Conference Proceedings
 Guinchiglia,F; Walsh,T

 the Use of Abstraction in Automatic Inference

PP441
 1990 Paper in Conference Proceedings
 Bundy,A; Smaill,AD; van Harmelen,F

 Extensions to the Ripplingout Tactic for Guiding Inductive Proofs

RP644
 1993 Research Paper
 Madden,P; Bundy,A

 General Techniques for Automatic Program Optimization and Synthesis Through Theorem Proving

PP143
 1992 Paper in Conference Proceedings
 Giunchiglia,G; Walsh,T

 Tree Subsumption: Reasoning with Outlines

CB2
 1991 Chapter in Edited Book
 Bundy,A

 a Science of Reasoning

PP117
 1992 Paper in Conference Proceedings
 Basin,D; Smaill,AD; Matthews,S

 Experience with FSo as a Framework Theory

PP197
 1993 Paper in Conference Proceedings
 Kraan,I; Bundy,A; Basin,D

 Logic Program Synthesis from Proof Planning

PP376
 1989 Paper in Conference Proceedings
 Giunchiglia,F; Walsh,T

 Abstract Theorem Proving

PP118
 1992 Paper in Conference Proceedings
 Basin,D; Walsh,T

 Difference Matching

PP377
 1989 Paper in Conference Proceedings
 Giunchiglia,F; Walsh,T

 Theorem Proving with Definitions

JP28
 1991 Journal Paper
 Bundy,A; van Harmelen,F; Hesketh,J; Smaill,AD

 Experiments with Proof Plans for Induction

RP600
 1992 Research Paper
 Bundy,A

 How to Solve it by Induction

JP34
 1991 Journal Paper
 Lowe,H

 Extending the Proof Plan Methodology to Computer Configuration

CB187
 1994 Chapter in Edited Book
 Walsh,T

 Creative Proof Planning

AB531
 1990 Authored Book
 Owen,S

 Analogy for Automated Reasoning
