%0 Conference Paper %1 conf/ki/MullerS88 %A Müller, Jürgen %A Socher-Ambrosius, Rolf %B GWAI %D 1988 %E Hoeppner, Wolfgang %I Springer %K dblp %P 169-178 %T On the Unnecessity of Multiple Overlaps in Completion Theorem Proving. %U http://dblp.uni-trier.de/db/conf/ki/gwai88.html#MullerS88 %V 181 %@ 3-540-50293-9

@inproceedings{conf/ki/MullerS88, added-at = {2003-01-22T00:00:00.000+0100}, author = {Müller, Jürgen and Socher-Ambrosius, Rolf}, biburl = {https://www.bibsonomy.org/bibtex/20051d5e40349c4e0323ee65686a9a72d/dblp}, booktitle = {GWAI}, crossref = {conf/ki/1988}, editor = {Hoeppner, Wolfgang}, ee = {http://dx.doi.org/10.1007/978-3-642-74064-0_18}, interhash = {2c81185fbac89d3cc2b65d0efca9fd83}, intrahash = {0051d5e40349c4e0323ee65686a9a72d}, isbn = {3-540-50293-9}, keywords = {dblp}, pages = {169-178}, publisher = {Springer}, series = {Informatik-Fachberichte}, timestamp = {2016-11-17T11:41:21.000+0100}, title = {On the Unnecessity of Multiple Overlaps in Completion Theorem Proving.}, url = {http://dblp.uni-trier.de/db/conf/ki/gwai88.html#MullerS88}, volume = 181, year = 1988 }