1. Varieties of BL-algebras I: general properties;Aglianò;Journal of Pure and Applied Algebra,2003
2. Infinite-valued Gödel logic with 0–1-projections and relativisations;Baaz,1996
3. M. Baaz, A. Ciabattoni, C. Georg Fermüller, Herbrand theorem for prenex Gödel logic and its consequences for theorem proving, in: R. Nieuwenhuis, A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning, Lecture Notes in Computer Science, Vol. 2250/2001, Springer, Berlin, 2001, pp. 201–216.
4. M. Baaz, A. Ciabattoni, C. Georg Fermüller, Monadic fragments of Gödel logics: decidability and undecidability results, in: N. Dershowitz, A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning, Lecture Notes in Computer Science, Vol. 4790/2007, Springer, Berlin, 2007, pp. 77–91.
5. Analytic calculi for monoidal t-norm based logic;Baaz;Fundamenta Informaticae,2004