Algebraic Decision Diagrams and Their Applications. - R. Iris Bahar; Erica A. Frohm; Charles M. Gaona; Gary D. Hachtel; Enrico Macii; Abelardo Pardo; Fabio Somenzi (Formal Methods Syst. Des., 1997)