Algebraic decision diagrams and their applications. Formal methods in system design (1997)

by R I Bahar, E A Frohm, C M Gaona, G D Hachtel, E Maciii, A Pardo, F Somenzi