F. van Harmelen
3 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.
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