Oliver Friedmann, Martin Lange. Deciding the unguarded modal µ-calculus. Journal of Applied Non-Classical Logics, 23(4):353-371, 2013. [doi]
@article{FriedmannL13,
title = {Deciding the unguarded modal µ-calculus},
author = {Oliver Friedmann and Martin Lange},
year = {2013},
doi = {10.1080/11663081.2013.861181},
url = {http://dx.doi.org/10.1080/11663081.2013.861181},
researchr = {https://researchr.org/publication/FriedmannL13},
cites = {0},
citedby = {0},
journal = {Journal of Applied Non-Classical Logics},
volume = {23},
number = {4},
pages = {353-371},
}