Constructive Matching Methodology: Formally Creative or Intelligent Inductive Theorem Proving? - Marta Franová; Yves Kodratoff; Martine Gross (ISMIS, 1993)