The Use of Explicit Proof Plans to Guide Inductive Proofs (1988)

by Alan Bundy
Venue:9th CADE 1988, LNAI 310