@InProceedings{ dax.ea:proof:2006, author = {C. Dax and M. Hofmann and M. Lange}, booktitle = {FSTTCS 2006}, copyright = {Springer}, copyrighturl = {http://www.springerlink.com}, language = {USenglish}, publisher = {Springer}, title = {A Proof System for the Linear Time $\mu$-Calculus}, volume = 4337, year = 2006, user = {daxc} }