@misc{indiciaebb8ef328da9e,
  title = {Model-checking an Epistemic μ-calculus with Synchronous and Perfect Recall Semantics},
  author = {Rodica Bozianu and Cătălin Dima and Constantin Enea},
  year = {2012},
  url = {https://arxiv.org/abs/1204.2087},
  note = {Source identifier: 1204.2087}
}