@article{Cranen_2011,
    doi = {10.1016/j.tcs.2011.02.034},
    url = {https://doi.org/10.1016%2Fj.tcs.2011.02.034},
    year = {2011},
    month = {jun},
    publisher = {Elsevier {BV}},
    volume = {412},
    number = {28},
    pages = {3129--3139},
    author = {Sjoerd Cranen and Jan Friso Groote and Michel Reniers},
    title = {A linear translation from {CTL}* to the first-order modal {$\mu$} -calculus},
    journal = {Theoretical Computer Science}
}

@article{Cranen_2011, doi = {10.1016/j.tcs.2011.02.034}, url = {https://doi.org/10.1016%2Fj.tcs.2011.02.034}, year = {2011}, month = {jun}, publisher = {Elsevier {BV}}, volume = {412}, number = {28}, pages = {3129--3139}, author = {Sjoerd Cranen and Jan Friso Groote and Michel Reniers}, title = {A linear translation from {CTL}* to the first-order modal {$\mu$} -calculus}, journal = {Theoretical Computer Science} }