CM-Strategy: A Methodology for Inductive Theorem Proving or Constructive Well-Generalized Proofs.

Marta Franov

Browse the full IJCAI paper archive.