Decomposability of partially defined Boolean functions
scientific article; zbMATH DE number 806407