Binary Decision Diagrams - Theory and Implementation (1998)

by R Drechsler, B Becker