Tableaux for Finite-Valued Logics with Arbitrary Distribution Modalities. - Christian G. Fermüller; Herbert Langsteiner (TABLEAUX, 1998)