%0 Conference Paper %1 conf/ecai/EisingerSW78 %A Eisinger, Norbert %A Siekmann, Jörg H. %A Wrightson, Graham %B AISB/GI (ECAI) %D 1978 %E Sleeman, Derek H. %I Leeds University %K dblp %P 105-109 %T Paramodulated Connection Graphs. %U http://dblp.uni-trier.de/db/conf/ecai/ecai78.html#EisingerSW78

@inproceedings{conf/ecai/EisingerSW78, added-at = {2019-07-26T00:00:00.000+0200}, author = {Eisinger, Norbert and Siekmann, Jörg H. and Wrightson, Graham}, biburl = {https://www.bibsonomy.org/bibtex/282716b34fe66896253dbb1425ff06b54/dblp}, booktitle = {AISB/GI (ECAI)}, crossref = {conf/ecai/1978}, editor = {Sleeman, Derek H.}, interhash = {740ba7987aef1d82a02ce9c1479f7e04}, intrahash = {82716b34fe66896253dbb1425ff06b54}, keywords = {dblp}, pages = {105-109}, publisher = {Leeds University}, timestamp = {2019-07-27T11:39:18.000+0200}, title = {Paramodulated Connection Graphs.}, url = {http://dblp.uni-trier.de/db/conf/ecai/ecai78.html#EisingerSW78}, year = 1978 }