Extensions to a Generalization Critic for Inductive Proof (1996)

by A Ireland, A Bundy
Venue:Proceding of the Thirteenth International Conference on Automated Deduction