Jan Friso Groote, Jaco van de Pol. Equational Binary Decision Diagrams. In Michel Parigot, Andrei Voronkov, editors, Logic for Programming and Automated Reasoning, 7th International Conference, LPAR 2000, Reunion Island, France, November 11-12, 2000, Proceedings. Volume 1955 of Lecture Notes in Computer Science, pages 161-178, Springer, 2000. [doi]
Abstract is missing.