Julian C. Bradfield, Javier Esparza, Angelika Mader. An Effective Tableau System for the Linear Time µ-Calculus. In Friedhelm Meyer auf der Heide, Burkhard Monien, editors, Automata, Languages and Programming, 23rd International Colloquium, ICALP96, Paderborn, Germany, 8-12 July 1996, Proceedings. Volume 1099 of Lecture Notes in Computer Science, pages 98-109, Springer, 1996.
@inproceedings{BradfieldEM96, title = {An Effective Tableau System for the Linear Time µ-Calculus}, author = {Julian C. Bradfield and Javier Esparza and Angelika Mader}, year = {1996}, tags = {C++}, researchr = {https://researchr.org/publication/BradfieldEM96}, cites = {0}, citedby = {0}, pages = {98-109}, booktitle = {Automata, Languages and Programming, 23rd International Colloquium, ICALP96, Paderborn, Germany, 8-12 July 1996, Proceedings}, editor = {Friedhelm Meyer auf der Heide and Burkhard Monien}, volume = {1099}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-61440-0}, }