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