BibTex format
@article{Belardinelli:2011,
author = {Belardinelli, F and Jones, AV and Lomuscio, A},
journal = {Fundamenta Informaticae},
pages = {19--37},
title = {Model Checking Temporal-Epistemic Logic Using Alternating Tree Automata},
volume = {112},
year = {2011}
}