DBLP BibTeX Record 'conf/ecai/StephanS78'

@inproceedings{DBLP:conf/ecai/StephanS78,
  author    = {Werner Stephan and
               J{\"o}rg H. Siekmann},
  title     = {Completeness and Soundness of the Connection Graph Proof},
  booktitle = {AISB/GI (ECAI)},
  year      = {1978},
  pages     = {340-344},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}