Henrik Reif Andersen Henrik Hulgaard Boolean Expression Diagrams. 194-212 2002 179 Inf. Comput. 2 http://dx.doi.org/10.1006/inco.2001.2948 db/journals/iandc/iandc179.html#AndersenH02