DBLP Record 'conf/aimsa/BayerlEKLS86'

BibTeX

@inproceedings{DBLP:conf/aimsa/BayerlEKLS86,
  author    = {Stefan Bayerl and
               Elmar Eder and
               Franz J. Kurfess and
               Reinhold Letz and
               Johann Schumann},
  title     = {An Implementation of a PROLOG-like Theorem Prover based
               on the Connection Method},
  booktitle = {AIMSA},
  year      = {1986},
  pages     = {29-36},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}