The Use of Explicit Plans to Guide Inductive Proofs.

Alan Bundy

Browse the full CADE paper archive.