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.
@inproceedings{Socher-Ambrosius89,
title = {Detecting Redundancy Caused by Congruent Links in Clause Graphs},
author = {Rolf Socher-Ambrosius},
year = {1989},
tags = {redundancy, graph-rewriting, rewriting},
researchr = {https://researchr.org/publication/Socher-Ambrosius89},
cites = {0},
citedby = {0},
pages = {74-82},
booktitle = {GWAI-89, 13th German Workshop on Artificial Intelligence, Eringerfeld, 18.-22. September 1989, Proceedings},
editor = {Dieter Metzing},
volume = {216},
series = {Informatik-Fachberichte},
publisher = {Springer},
isbn = {3-540-51743-X},
}