BibTex format
@article{Belardinelli:2009,
author = {Belardinelli, F and Lomuscio, A},
journal = {Artificial Intelligence},
pages = {982--1013},
title = {Quantified Epistemic Logics for Reasoning About Knowledge in Multi-Agent Systems},
url = {http://hdl.handle.net/10044/1/13928},
volume = {173},
year = {2009}
}