Fundamentals for a New Methodology for Inductive Theorem Proving: CM-Construction of Atomic Formulae.

Marta Franov

Browse the full ECAI paper archive.