Extensions to a Generalization Critic for Inductive Proof.

Andrew Ireland, Alan Bundy

Browse the full CADE paper archive.