A fixed point operator for the generalised maximum satisfiability problem
scientific article; zbMATH DE number 446808