Christian Dax, Martin Hofmann, Martin Lange. A Proof System for the Linear Time µ-Calculus. In S. Arun-Kumar, Naveen Garg, editors, FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings. Volume 4337 of Lecture Notes in Computer Science, pages 273-284, Springer, 2006. [doi]
@inproceedings{DaxHL06, title = {A Proof System for the Linear Time µ-Calculus}, author = {Christian Dax and Martin Hofmann and Martin Lange}, year = {2006}, doi = {10.1007/11944836_26}, url = {http://dx.doi.org/10.1007/11944836_26}, researchr = {https://researchr.org/publication/DaxHL06}, cites = {0}, citedby = {0}, pages = {273-284}, booktitle = {FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings}, editor = {S. Arun-Kumar and Naveen Garg}, volume = {4337}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-49994-6}, }