Alan Bundy
11 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Experiments in automating hardware verification using inductive proof planning
Francisco J. Cantú-Ortiz and others (1996) · Lecture notes in computer science · Springer Science+Business Media
Relational rippling: a general approach
Alan Bundy and others (1995) · Proceedings of IJCAI-95 · IJCAI
Rippling: A heuristic for guiding inductive proofs
Alan Bundy and others (1993) · Elsevier BV
Increasing the versatility of heuristic based theorem provers
Alistair Manning and others (1993) · Lecture notes in computer science · Springer Science+Business Media
An adaptation of proof-planning to declarer play in bridge
I. Frank and others (1992) · Proceedings of ECAI-92
The use of proof plans to sum series
Toby Walsh and others (1992) · Lecture notes in computer science · Springer Science+Business Media
Experiments with proof plans for induction
Alan Bundy and others (1991) · Journal of Automated Reasoning · Springer Science+Business Media
The OYSTER-CLAM system
Alan Bundy and others (1990) · Springer Berlin Heidelberg
A rational reconstruction and extension of recursion analysis
Alan Bundy and others (1989) · Proceedings of the Eleventh International Joint Conference on Artificial Intelligence
The use of explicit plans to guide inductive proofs
Alan Bundy (1988) · Springer Nature
Solving symbolic equations with press
L. Sterling and others (1982) · Springer Berlin Heidelberg