BayerlBHL86'

BibTeX

@inproceedings{DBLP:conf/aimsa/BayerlBHL86,
  author    = {Stefan Bayerl and
               M. Breu and
               S. Heilmeier and
               K. Lichtenwalder},
  title     = {An Implemented Simulation of a Parallel Theorem Prover},
  booktitle = {AIMSA},
  year      = {1986},
  pages     = {21-28},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}