1. A constructive analysis of RM;Avron;Journal of Symbolic Logic,1987
2. Hypersequents, logical consequence and intermediate logics for concurrency;Avron;Annals of Mathematics and Artificial Intelligence,1991
3. Analytic calculi for monoidal t-norm based logic;Baaz;Fundamenta Informaticae,2004
4. Hypersequents and the proof theory of intuitionistic fuzzy logic;Baaz,2000
5. Automated generation of analytic calculi for logics with linearity;Ciabattoni,2004