The complexity of Boolean state separation
scientific article; zbMATH DE number 7369986