"A Strong Problem Reduction Method Based on Function Introduction" (1990)
"A Formal Model for the Support of Analogical Reasoning in Legal Expert Systems" (1991)
- in: Baaz M. and Zach R.
"Algorithmic Structuring of Cut-free Proofs" (1993)
- in: Baaz M. and Quirchmayr G.
"Analogical Reasoning in Legal Expert Systems" (1992) - in: Baaz M. and Fermüller C. G.
"Resolution for Many-valued Logics" (1992)
- in: Baaz M. and Zach R.
"Short Proofs of Tautologies Using the Schema of Equivalence" (1994) - in: Baaz M., Fermüller C. G., Ovrutcki A. and Zach R.
"MULTLOG: A System for Axiomatizing Many-valued Logics" (1993) - in: Baaz M., Galindo F., Quirchmayr G. and Vázqez M.
"The Application of Kripke-Type Structures to Regional Development Processes" (1993) - in: Baaz M.
"The Scheme of Identity: a Computational Point of View" (1993)
- in: Baaz M. and Salzer G.
"Semi-Unification and Generalizations of a Particularly Simple Form" (1995) - in: Baaz M., Fermüller C. G. and Leitsch A.
"A Non-elementary Speed-Up in Proof Length by Structural Clause Form Transforamation" (1994) - in: Baaz M.
"Generalization of Proofs and Term Complexity" (1994)
- in: Asperti A. and Ciabattoni A.
"Effective Applicative Structures" (1995) - in: Baaz M., Leitsch A. and Zach R.
"Incompleteness of a First-order Gödel Logic and Some Temporal Logics of Programs" (1996) - in: Baaz M. and Fermüller C. G.
"Non-elementary Speedups between Different Versions of Tableaux" (1995)
- in: Baaz M. and Leitsch A.
"Fast Cut-Elimination by Projection" (1997) - in: Baaz M. and Fermüller C. G.
"Combining Many-valued and Intuitionistic Tableaux" (1996) - in: Baaz M.
"Infinite-valued Gödel Logics with 0-1-Projections and Relativizations" (1996) - in: Baaz M., Fermüller C. G., Salzer G. and Zach R.
"MUltlog 1.0: Towards an Expert System for Many-valued Logics" (1996)
- in: Baaz M. and Leitsch A.
"Cut elimination by resolution" (1997) - in: Baaz M., Egly U. and Fermüller C. G.
"Lean Induction Principles for Tableaux" (1997) - in: Preining N.
"Sketch-as-Proof" (1997)
- in: Baaz M. and Veith H.
"Quantifier Elimination in Fuzzy Logic" (1999) - in: Baaz M., Ciabattoni A., Fermüller C. G. and Veith H.
"Proof theory of fuzzy logic:Urquhart's C and related logics" (1998)
- in: Baaz M. and Fermüller C. G.
"Analytic Calculi for Projective Logics" (1999) - in: Baaz M., Ciabattoni A., Fermüller C. G. and Veith H.
"On the Undecidability of Some Sub-classical First-order Logics" (1999) - in: Baaz M., Leitsch A. and Moser G.
"System Description: CutRes 0.1: Cut Elimination by Resolution" (1999) - in: Ciabattoni A.
"Bounded Contraction in Systems with Linearity" (1999)
- in: Baaz M., Leitsch A. and Zach R.
"Incompleteness of a First-order Gödel Logic and Some Temporal Logics of Programs" (1996) - in: Baaz M., Fermüller C. G. and Leitsch A.
"A Non-elementary Speed-Up in Proof Length by Structural Clause Form Transforamation" (1994) - in: Beckmann A.
"A note on universal measures for weak implicit computational complexity" (2002)
