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.
http://hdl.handle.net/20.500.12708/137005 ( reposiTUm)