BDD-based decompositions of multiple output logic functions
scientific article; zbMATH DE number 5838632