Restricted Δ-Trees in Multiple-Valued Logics | Publicación