Springer
Lecture Notes in Artificial Intelligence
International Conference on Logic for Programming and Automated Reasoning

Groote, J.F, & van de Pol, J.C. (2000). Equational binary decision diagrams. In Logic for Programming and Automated Reasoning (pp. 161–178). Springer.