Propositional proof systems based on maximum satisfiability | Publicación