@inproceedings{jongmans11promas,
  author    = {Sung-Shik T.Q. Jongmans and Koen V. Hindriks and M. Birna van Riemsdijk},
  title     = {State Space Reduction for Model Checking Agent Programs},
  booktitle = {Proceedings of the 9th international workshop on Programming multiagent systems 	(ProMAS'11)},
  year      = {2012},
  pages     = {133--151},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {7217}
}