1. M. Baaz and C. G. Fermüller. Resolution-based theorem proving for many-valued logics. J. Symbolic Computation, 19:353–391, 1995.
2. M. Baaz, C. G. Fermüller, A. Ovrutcki, and R. Zach. MULTLOG: A system for axiomatizing many-valued logics. In A. Voronkov, editor, Logic Programming and Automated Reasoning (LPAR'93), LNCS 698 (LNAI), pages 345–347. Springer, 1993.
3. M. Baaz, C. G. Fermüller, and R. Zach. Systematic construction of natural deduction systems for many-valued logics. In Proc. 23rd International Symposium on Multiple-valued Logic, pages 208–215. IEEE Computer Society Press, Los Alamitos, May 24–27 1993.
4. M. Baaz, C. G. Fermüller, and R. Zach. Elimination of cuts in first-order finitevalued logics. J. Inform. Process. Cybernet. (EIK), 29(6):333–355, 1994.
5. M. Baaz and R. Zach. Approximatig prepositional calculi by finite-valued logics. In Proc. 24th International Symposium on Multiple-valued Logic, pages 257–263. IEEE Press, Los Alamitos, May 25–27 1994.