An Effective Tableau System for the Linear Time µ-Calculus.

Julian C. Bradfield, Javier Esparza, Angelika Mader

Browse the full ICALP paper archive.