{"inproceedings":{"@attributes":{"key":"journals\/corr\/abs-1303-0794","mdate":"2018-09-12"},"author":"Dimitar P. Guelev","title":"Reducing Validity in Epistemic ATL to Validity in Epistemic CTL","booktitle":"SR","year":"2013","pages":"81-89","ee":["https:\/\/doi.org\/10.4204\/EPTCS.112.13","http:\/\/arxiv.org\/abs\/1303.0794"],"crossref":"journals\/corr\/abs-1303-0071","url":"db\/series\/eptcs\/eptcs112.html#abs-1303-0794"}}