Giovanna D'Agostino, Giacomo Lenzi. On Modal μ-Calculus in S5 and Applications. Fundamenta Informaticae, 124(4):465-482, 2013. [doi]
@article{DAgostinoL13, title = {On Modal μ-Calculus in S5 and Applications}, author = {Giovanna D'Agostino and Giacomo Lenzi}, year = {2013}, doi = {10.3233/FI-2013-844}, url = {http://dx.doi.org/10.3233/FI-2013-844}, researchr = {https://researchr.org/publication/DAgostinoL13}, cites = {0}, citedby = {0}, journal = {Fundamenta Informaticae}, volume = {124}, number = {4}, pages = {465-482}, }