%0 Journal Article %A Baaz, Matthias %A Fermüller, Christian G. %A Zach, Richard %D 1993 %J Journal of Information Processing and Cybernetics EIK %N 6 %P 333-355 %T Elimination of Cuts in First-order Finite-valued Logics %V 29