Binary Decision Diagrams door Bernd Becker & Rolf Drechsler