A. Bundy

4 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.

Productive use of failure in inductive proof

A. Ireland and others (1996) · Journal of Automated Reasoning

Middle-out reasoning for synthesis and induction

I. Kraan and others (1996) · Journal of Automated Reasoning

Automatic guidance of mechanically generated proofs

A. Bundy and others (1995) · Epsrc research proposal, Edinburgh and Cambridge Universities

Logic Program Synthesis via Proof Planning

I. Kraan and others (1993) · Springer London