Clause tableaux for maximum and minimum satisfiability | Publicación