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

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