|
158
|
Rippling: A Heuristic for Guiding Inductive Proofs
– Alan Bundy, Andrew Stevens, Frank Van Harmelen, Andrew Ireland, Alan Smaill
- 1993
|
|
506
|
A Computational Logic
– Robert S Boyer, J Strother Moore
- 1979
|
|
258
|
The Use of Explicit Plans to Guide Inductive Proofs
– Alan Bundy, Alan Bundy
- 1988
|
|
93
|
Experiments with Proof Plans for Induction
– Alan Bundy, Frank van Harmelen, Jane Hesketh, Alan Smaill
- 1992
|
|
18
|
Higher-order Annotated Terms for Proof Search
– Alan Smaill , Ian Green
- 1996
|
|
121
|
The Oyster-Clam System
– Alan Bundy, Frank van Harmelen, C Horn, Alan Smaill
- 1990
|
|
41
|
A Calculus for and Termination of Rippling
– David A. Basin, Toby Walsh
- 1996
|
|
382
|
A Computational Logic Handbook
– R S Boyer, J S Moore
- 1988
|
|
61
|
Guiding Inductive Proofs
– Dieter Hutter
- 1990
|
|
24
|
Middle-Out Reasoning for Synthesis and Induction
– Ina Kraan, David Basin, Alan Bundy
- 1995
|
|
18
|
Using Middle-Out Reasoning to Guide Inductive Theorem Proving
– J T Hesketh
- 1991
|
|
20
|
Derivation and use of induction schemes in higher-order logic
– K Slind
- 1997
|
|
22
|
The Use of Proof Plans to Sum Series
– Toby Walsh, Alex Nunes, Alan Bundy
- 1992
|
|
10
|
On the Automatic Discovery of Loop Invariants
– Andrew Ireland , Jamie Stark
- 1997
|
|
37
|
Mechanizing structural induction
– Raymond Aubin
- 1976
|
|
36
|
A Model of Analogy-Driven Proof-Plan Construction
– Erica Melis
- 1995
|
|
7
|
Logic program synthesis in a higher order setting
– D Lacey, J D C Richardson, A Smaill
- 2000
|
|
13
|
Experiments in Automating Hardware Verification using Inductive Proof Planning
– Francisco J. Cantu , Alan Bundy, Alan Smaill, David Basin
- 1996
|
|
6
|
Proof-planning Non-standard Analysis
– Ewen Maclean , Jacques Fleuriot, Alan Smaill
- 2002
|
