Daniel J. Dougherty, Claudio Gutiérrez. Normal Forms and Reduction for Theories of Binary Relations. In Leo Bachmair, editor, Rewriting Techniques and Applications, 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000, Proceedings. Volume 1833 of Lecture Notes in Computer Science, pages 95-109, Springer, 2000.
Abstract is missing.