%0 Conference Paper %1 conf/ki/Socher-Ambrosius89 %A Socher-Ambrosius, Rolf %B GWAI %D 1989 %E Metzing, Dieter %I Springer %K dblp %P 74-82 %T Detecting Redundancy Caused by Congruent Links in Clause Graphs. %U http://dblp.uni-trier.de/db/conf/ki/gwai89.html#Socher-Ambrosius89 %V 216 %@ 3-540-51743-X

@inproceedings{conf/ki/Socher-Ambrosius89, added-at = {2017-05-25T00:00:00.000+0200}, author = {Socher-Ambrosius, Rolf}, biburl = {https://www.bibsonomy.org/bibtex/2e71a76da5e9bab7aa932b567535220ba/dblp}, booktitle = {GWAI}, crossref = {conf/ki/1989}, editor = {Metzing, Dieter}, ee = {https://doi.org/10.1007/978-3-642-75100-4_9}, interhash = {86d39b101cc72915911ef26165b28448}, intrahash = {e71a76da5e9bab7aa932b567535220ba}, isbn = {3-540-51743-X}, keywords = {dblp}, pages = {74-82}, publisher = {Springer}, series = {Informatik-Fachberichte}, timestamp = {2018-07-12T11:39:23.000+0200}, title = {Detecting Redundancy Caused by Congruent Links in Clause Graphs.}, url = {http://dblp.uni-trier.de/db/conf/ki/gwai89.html#Socher-Ambrosius89}, volume = 216, year = 1989 }