Title: An effective tableau system for the linear time mu-calculus
Subjects: Modality (Logic)