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

Franová. "CM-Strategy: A Methodology for Inductive Theorem Proving or Constructive Well-Generalized Proofs." International Joint Conference on Artificial Intelligence, 1985.

[Franová. "CM-Strategy: A Methodology for Inductive Theorem Proving or Constructive Well-Generalized Proofs." International Joint Conference on Artificial Intelligence, 1985.](https://mlanthology.org/ijcai/1985/franova1985ijcai-cm/)

@inproceedings{franova1985ijcai-cm,
  title     = {{CM-Strategy: A Methodology for Inductive Theorem Proving or Constructive Well-Generalized Proofs}},
  author    = {Franová, Marta},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1985},
  pages     = {1214-1220},
  url       = {https://mlanthology.org/ijcai/1985/franova1985ijcai-cm/}
}