A. Smaill
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.
Higher-order annotated terms for proof search
A. Smaill and others (1996) · Springer Berlin Heidelberg
Rippling: A heuristic for guiding inductive proofs
Alan Bundy and others (1993) · Elsevier BV
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