@Inproceedings{EPTCS112.13,
  author    = {Guelev, Dimitar P.},
  year      = {2013},
  title     = {Reducing Validity in Epistemic ATL to Validity in Epistemic CTL},
  editor    = {Mogavero, Fabio and Murano, Aniello and Vardi, Moshe Y.},
  booktitle = {{\rm Proceedings 1st International Workshop on}
               Strategic Reasoning,
               {\rm Rome, Italy, March 16-17, 2013}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {112},
  publisher = {Open Publishing Association},
  pages     = {81-89},
  doi       = {10.4204/EPTCS.112.13},
}