%0 Journal Article %A Baaz, Matthias %A Fermüller, Christian G. %A Zach, Richard %D 1993 %J Bulletin of the EATCS %P 192-197 %T Dual Systems of Sequents and Tableaux for Many-Valued Logics %V 51