Rolf Socher-Ambrosius. Detecting Redundancy Caused by Congruent Links in Clause Graphs. In Dieter Metzing, editor, GWAI-89, 13th German Workshop on Artificial Intelligence, Eringerfeld, 18.-22. September 1989, Proceedings. Volume 216 of Informatik-Fachberichte, pages 74-82, Springer, 1989.
Abstract is missing.