Boolean inequations
scientific article; zbMATH DE number 5130431