I. Kraan

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.

Middle-out reasoning for synthesis and induction

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

Logic Program Synthesis via Proof Planning

I. Kraan and others (1993) · Springer London