"Extensions to a Generalization Critic for Inductive Proof."

Andrew Ireland, Alan Bundy (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics