A Tableau Calculus for Signed Maximum Satisfiability | Publicación