Ciabattoni, A., Straßburger, L., & Tesi, M. (2022). Taming Bounded Depth with Nested Sequents. In David Fernández-Duque, A. PALMIGIANO, & S. Pinchinat (Eds.), Advances in Model Logic (pp. 199–217). College Publications.
TICAMORE: Transfer und Entwicklung von Kalkülen für Modallogiken und Verwandte Systeme: I 2982-N35 (Fonds zur Förderung der wissenschaftlichen Forschung (FWF))