- in: Baaz M., Leitsch A. and Moser G.
"System Description: CutRes 0.1: Cut Elimination by Resolution" (1999)
- in: Baaz M., Fermüller C. G., Salzer G. and Zach R.
"MUltlog 1.0: Towards an Expert System for Many-valued Logics" (1996)
"Infinite-valued Gödel Logics with 0-1-Projections and Relativizations" (1996)
"On generalizations of semi-terms of particularly simple form" (2002)
- in: Baaz M., Preining N. and Zach R.
"Characterization of the Axiomatizable Prenex Fragments of First-Order Gödel Logics" (2003) - in: Fermüller C. G. and Preining N.
"A dialogie game for Intuitionistic Fuzzy Logic based on comparison of degrees of truth" (2003) - in: Iemhoff R.
"Towards a proof system for admissibility" (2003)
