HuangKRS94'

BibTeX

@article{DBLP:journals/eik/HuangKRS94,
  author    = {Xiaorong Huang and
               Manfred Kerber and
               J{\"o}rn Richts and
               Arthur Sehn},
  title     = {Planning Mathematical Proofs with Methods},
  journal   = {Elektronische Informationsverarbeitung und Kybernetik},
  volume    = {30},
  number    = {5/6},
  year      = {1994},
  pages     = {277-291},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}