Uniform Interpolation from Cyclic Proofs: The Case of Modal Mu-Calculus.

Bahareh Afshari, Graham E. Leigh, Guillermo Menndez Turata

Browse the full TABLEAUX paper archive.