Marta Franová, Yves Kodratoff, Martine Gross. Constructive Matching Methodology: Formally Creative or Intelligent Inductive Theorem Proving?. In Henryk Jan Komorowski, Zbigniew W. Ras, editors, Methodologies for Intelligent Systems, 7th International Symposium, ISMIS 93, Trondheim, Norway, June 15-18, 1993, Proceedings. Volume 689 of Lecture Notes in Computer Science, pages 476-485, Springer, 1993.
Abstract is missing.