|
158
|
Rippling: A Heuristic for Guiding Inductive Proofs
– Alan Bundy, Andrew Stevens, Frank Van Harmelen, Andrew Ireland, Alan Smaill
- 1993
|
|
121
|
The Oyster-Clam System
– Alan Bundy, Frank van Harmelen, C Horn, Alan Smaill
- 1990
|
|
258
|
The Use of Explicit Plans to Guide Inductive Proofs
– Alan Bundy, Alan Bundy
- 1988
|
|
121
|
Edinburgh LCF: A Mechanised Logic of Computation
– M J C Gordon, R Milner, C P Wadsworth
- 1979
|
|
506
|
A Computational Logic
– Robert S Boyer, J Strother Moore
- 1979
|
|
18
|
Using Middle-Out Reasoning to Guide Inductive Theorem Proving
– J T Hesketh
- 1991
|
|
94
|
Productive Use of Failure in Inductive Proof
– Andrew Ireland, Alan Bundy
- 1995
|
|
25
|
Difference Unification
– David Basin, Im Stadtwald, Im Stadtwald, Toby Walsh, Toby Walsh
- 1992
|
|
93
|
Experiments with Proof Plans for Induction
– Alan Bundy, Frank van Harmelen, Jane Hesketh, Alan Smaill
- 1992
|
|
72
|
A Science of Reasoning
– Alan Bundy
- 1991
|
|
41
|
A Calculus for and Termination of Rippling
– David A. Basin, Toby Walsh
- 1996
|
|
8
|
Predicate synthesis from formal specifications or using mathematical induction for finding the preconditions of theorems
– Marta Franov, Yves Kodratoff
- 1991
|
|
176
|
An Overview of *Prolog
– G Nadathur, D Miller
- 1988
|
|
13
|
Disproving Conjectures
– Martin Protzen
- 1992
|
|
728
|
A formulation of the simple theory of types
– A Church
- 1940
|
|
61
|
Guiding Inductive Proofs
– Dieter Hutter
- 1990
|
|
24
|
Logic Program Synthesis via Proof Planning
– C Fl Ina Kraan, Ina Kraan, Ina Kraan, David Basin, David Basin, David Basin, Alan Bundy, Alan Bundy, Alan Bundy
- 1993
|
|
8
|
Extensions to a Generalization Critic for Inductive Proof
– Andrew Ireland, Alan Bundy
- 1996
|
|
25
|
A Rational Reconstruction and Extension of Recursion Analysis
– Alan Bundy, Frank Van Harmelen, Jane Hesketh, Alan Smaill, Andrew Stevens
- 1992
|
