A Tableau Calculus for MaxSAT Based on Resolution | Publicación