"Strong Splitting Rules in Automated Theorem Proving" (1989)
"Models of Civil Procedures Based on Multiple-Valued Logic" (1988)
- in: Baaz M. and Salzer G.
"Semi-Unification and Generalizations of a Particularly Simple Form" (1995)
- in: Baaz M., Fermüller C. G., Quirchmayr G. and Zach R.
"A Many-Valued Logic for Default Reasoning" (1993) - in: Baaz M. and Quirchmayr G.
"Models of Juridical Decisions Based on the Concept of Possible Worlds" (1988)
