A Typed Lambda-Calculus for Proving-by-Example and Bottom-Up Generalization Procedure.

Masami Hagiya A Typed Lambda-Calculus for Proving-by-Example and Bottom-Up Generalization Procedure. 73-86 1993 conf/alt/1993 ALT db/conf/alt/alt1993.html#Hagiya93