A Focus System for the Alternation-Free μ-Calculus.

Johannes Marti, Yde Venema

Browse the full TABLEAUX paper archive.