Lutz Straßburger, Matteo Tesi, Agata Ciabattoni. Taming Bounded Depth with Nested Sequents. In David Fernández Duque, Alessandra Palmigiano, Sophie Pinchinat, editors, Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022. pages 199-216, College Publications, 2022.
Abstract is missing.