,
Springer
Lecture Notes in Computer Science
International Symposium on Mathematical Foundations of Computer Science

van de Pol, J.C, & Zantema, H. (2000). Binary decision diagrams by shared rewriting. In Mathematical Foundations of Computer Science 2000 (MFCS 25) (pp. 609–618). Springer.