A Complete Tableau Calculus for the Regular MaxSAT Problem | Publicación