Authors: Sauerhoff, M Wegener, I Werchner, R

Citation: M. Sauerhoff et al., Optimal ordered binary decision diagrams for read-once formulas, DISCR APP M, 103(1-3), 2000, pp. 237-258