Marta Bílková. A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi. In Nick Bezhanishvili, Sebastian Löbner, Kerstin Schwabe, Luca Spada, editors, Logic, Language, and Computation - 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers. Volume 6618 of Lecture Notes in Computer Science, pages 30-45, Springer, 2009. [doi]
Abstract is missing.