@inproceedings{LS02,
  author	= {Lange, M. and Stirling, C.},
  editor	= {Nielsen, M. and Engberg, U. H.},
  title		= {Model Checking Fixed Point Logic with Chop},
  booktitle	= {Proc.\ 5th Conf.\ on Foundations of Software Science and Computation Structures, {FOSSACS'02}},
  address	= {Grenoble, France},
  publisher	= {Springer},
  series	= {LNCS},
  volume	= {2303},
  pages		= {250--263},
  year		= {2002},
}