%0 Journal Article %1 journals/acta/SieckmannW80 %A Siekmann, Jörg H. %A Wrightson, Graham %D 1980 %J Acta Inf. %K dblp %P 67-86 %T Paramodulated Connection Graphs. %U http://dblp.uni-trier.de/db/journals/acta/acta13.html#SieckmannW80 %V 13

@article{journals/acta/SieckmannW80, added-at = {2011-01-11T00:00:00.000+0100}, author = {Siekmann, Jörg H. and Wrightson, Graham}, biburl = {https://www.bibsonomy.org/bibtex/2c5b0229c302d2aa0c494694ad6d564e0/dblp}, ee = {http://dx.doi.org/10.1007/BF00288537}, interhash = {78014e0726e6ddd50750253a1239dd0d}, intrahash = {c5b0229c302d2aa0c494694ad6d564e0}, journal = {Acta Inf.}, keywords = {dblp}, pages = {67-86}, timestamp = {2011-01-12T11:33:52.000+0100}, title = {Paramodulated Connection Graphs.}, url = {http://dblp.uni-trier.de/db/journals/acta/acta13.html#SieckmannW80}, volume = 13, year = 1980 }