MaxSAT resolution for regular propositional logic | Publicación