@inproceedings{jongmans10clima,
   author = {Sung-Shik Jongmans and Koen V. Hindriks and M.B. van Riemsdijk},
   title = {Model Checking Agent Programs by Using the Program Interpreter},
   booktitle = {Computational Logic in Multi-Agent Systems},
   series = {LNCS},
   publisher = {Springer},
   pages = {219--237},
   volume = {6245},
   url = {http://dx.doi.org/10.1007/978-3-642-14977-1_17},
   year = {2010}
}