Focus-Style Proofs for the Two-Way Alternation-Free μ-Calculus.

Jan Rooduijn, Yde Venema

Browse the full WoLLIC paper archive.