Tableaux for Maximum Satisfiability in Łukasiewicz Logic | Publicación