Efficient Algorithms for the Transformation Between Different Types of Binary Decision Diagrams.

Petr Savický Ingo Wegener Efficient Algorithms for the Transformation Between Different Types of Binary Decision Diagrams. 245-256 1997 34 Acta Inf. 4 db/journals/acta/acta34.html#SavickyW97