Martin Sauerhoff Ingo Wegener Ralph Werchner Optimal ordered binary decision diagrams for read-once formulas. 237-258 2000 103 Discrete Applied Mathematics 1-3 db/journals/dam/dam103.html#SauerhoffWW00