A Tableau Calculus for Non-clausal Maximum Satisfiability | Publicación