The reduction of general Boolean functions to monotonic form
scientific article; zbMATH DE number 12685