A Clause Tableau Calculus for MinSAT | Publicación