@inproceedings{LPQ10,
  author    = {Alessio Lomuscio and
               Wojciech Penczek and
               Hongyang Qu},
  title     = {Partial order reductions for model checking temporal epistemic
               logics over interleaved multi-agent systems},
  booktitle = {AAMAS},
  year      = {2010},
  pages     = {659-666},
  editor    = {Wiebe van der Hoek and
               Gal A. Kaminka and
               Yves Lesp{\'e}rance and
               Michael Luck and
               Sandip Sen},
  publisher = {IFAAMAS}
}