@inproceedings{L02b,
  author	= {Lange, M.},
  editor	= {Brim, L. and Jan{\v{c}}ar, P. and K{\v{r}}et{{\'i}}nsk{{\'y}}, M. and Ku{\v{c}}era, A.},
  title		= {Local Model Checking Games for Fixed Point Logic with Chop},
  booktitle	= {Proc.\ 13th Conf.\ on Concurrency Theory, {CONCUR'02}},
  address	= {Brno, Czech Republic},
  year		= {2002},
  publisher	= {Springer},
  series	= {LNCS},
  volume	= {2421},
  pages		= {240--254},
}