"The Use of Explicit Plans to Guide Inductive Proofs."

Alan Bundy (1988)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics