Marta Franová. CM-Strategy: A Methodology for Inductive Theorem Proving or Constructive Well-Generalized Proofs. In IJCAI. pages 1214-1220, 1985.
@inproceedings{Franova85:0, title = {CM-Strategy: A Methodology for Inductive Theorem Proving or Constructive Well-Generalized Proofs}, author = {Marta Franová}, year = {1985}, researchr = {https://researchr.org/publication/Franova85%3A0}, cites = {0}, citedby = {0}, pages = {1214-1220}, booktitle = {IJCAI}, }