A Complete Calculus for Max-SAT | Publicación