DBLP BibTeX Record 'conf/ecai/EisingerSW78'

@inproceedings{DBLP:conf/ecai/EisingerSW78,
  author    = {Norbert Eisinger and
               J{\"o}rg H. Siekmann and
               Graham Wrightson},
  title     = {Paramodulated Connection Graphs},
  booktitle = {AISB/GI (ECAI)},
  year      = {1978},
  pages     = {105-109},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}