Efficient algorithms for the transformation between different types of binary decision diagrams
scientific article; zbMATH DE number 1022916