Planning Mathematical Proofs with Methods

Xiaorong Huang, Manfred Kerber, Jörn Richts, Arthur Sehn. Planning Mathematical Proofs with Methods. Elektronische Informationsverarbeitung und Kybernetik, 30(5/6):277-291, 1994.

@article{HuangKRS94,
  title = {Planning Mathematical Proofs with Methods},
  author = {Xiaorong Huang and Manfred Kerber and Jörn Richts and Arthur Sehn},
  year = {1994},
  researchr = {https://researchr.org/publication/HuangKRS94},
  cites = {0},
  citedby = {0},
  journal = {Elektronische Informationsverarbeitung und Kybernetik},
  volume = {30},
  number = {5/6},
  pages = {277-291},
}