Efficient algorithms for the transformation between different types of binary decision diagrams Petr SavickýIngo Wegener Pages: 245 - 256