A Methodology for Automatic Programming Based on the Constructive Matching Strategy. - Marta Franová (European Conference on Computer Algebra (2), 1985)

CM-Strategy: A Methodology for Inductive Theorem Proving or Constructive Well-Generalized Proofs. - Marta Franová (IJCAI, 1985)

Proving Theorems by Construction of Valid Formulae. - Marta Franová (IFIP Congress, 1986)

An Implementation of Program Synthesis from Formal Specifications: PRECOMAS. - Marta Franová (ECAI, 1988)

Fundamentals for a New Methodology for Inductive Theorem Proving: CM-Construction of Atomic Formulae. - Marta Franová (ECAI, 1988)

Why and How Program Synthesis? - Yves Kodratoff; Marta Franová; Derek Partridge (AII, 1989)

Logic Programming and Program Synthesis. - Yves Kodratoff; Marta Franová; Derek Partridge (ICSI, 1990)

Constructive Matching - Explanation Based Methodology for Inductive Theorem Proving. - Marta Franová (IMYCS, 1990)

PRECOMAS an Implementation of Constructive Matching Methodology. - Marta Franová (ISSAC, 1990)

Constructive Matching - A Methodology for Inductive Theorem Proving. - Marta Franová (JELIA, 1990)

Solving "How to Clear a Block" with Constructive Matching Methodology. - Marta Franová; Yves Kodratoff (IJCAI, 1991)

Predicate Synthesis from Formal Specifications: Using Mathematical Induction for Finding the Preconditions of Theorems. - Marta Franová; Yves Kodratoff (Nonmonotonic and Inductive Logic, 1991)

Predicate Synthesis from Formal Specifications. - Marta Franová; Yves Kodratoff (ECAI, 1992)

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

Automated Inductive Reasoning as a Support of Deductive Reasoning in a User-Independent Automation of Inductive Theorem Proving. - Marta Franová (ISMIS, 1996)

Theory of Constructable Domains for Robotics: Why? - Marta Franová; Monia Kooli (IEA/AIE (Vol. 1), 1998)

La "créativité calculatoire" et les heuristiques créatives en synthèse de prédicats multiples. - Marta Franová; Yves Kodratoff (EGC, 2009)

On Computational Creativity, 'Inventing' Theorem Proofs. - Marta Franová; Yves Kodratoff (ISMIS, 2009)

Two Examples of Computational Creativity: ILP Multiple Predicate Synthesis and the 'Assets' in Theorem Proving. - Marta Franová; Yves Kodratoff (Advances in Machine Learning II, 2010)