1994-06-122022-01-28 rzach Elimination of cuts in first-order finite-valued logics Source Journal of Information Processing and Cybernetics 29 (1994) 333–355 (with Matthias Baaz and Christian G. Fermüller)