Elaine Pimentel, Revantha Ramanayake, Björn Lellmann. Sequentialising Nested Systems. In Serenella Cerrito, Andrei Popescu 0001, editors, Automated Reasoning with Analytic Tableaux and Related Methods - 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings. Volume 11714 of Lecture Notes in Computer Science, pages 147-165, Springer, 2019. [doi]
Abstract is missing.