@misc{indiciaebc2d449ad539,
  title = {Reducing Validity in Epistemic ATL to Validity in Epistemic CTL},
  author = {Dimitar P. Guelev},
  year = {2013},
  doi = {10.4204/eptcs.112.13},
  url = {https://arxiv.org/abs/1303.0794},
  note = {Source identifier: 1303.0794}
}