A Tableau Calculus for Non-Clausal Regular MaxSAT | Publicación