Interpolation for the two-way modal μ-calculus.

Johannes Kloibhofer, Yde Venema

Browse the full LICS paper archive.