@inproceedings{2007-Groot-RoleMC,
  author		= "{Groot}, P.",
  title			= "{The Role of Model Checking in Critiquing based on Clinical Guidelines}",
  booktitle		= "{19th Belgian--Dutch Conference on Artificial Intelligence(BNAIC--2007)}",
  year			= "2007",
  research_group	= "iris",
  pages			= "353--354",
  class			= "Conference"
}