@misc{indiciaec11c29138e6d,
  title = {On Modal μ-Calculus over Finite Graphs with Bounded Strongly Connected Components},
  author = {Giovanna D'Agostino and Giacomo Lenzi},
  year = {2010},
  doi = {10.4204/eptcs.25.9},
  url = {https://arxiv.org/abs/1006.1406},
  note = {Source identifier: 1006.1406}
}