A. Ireland

2 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
Rippling: A heuristic for guiding inductive proofs
Alan Bundy and others (1993) · Elsevier BV