@article{2007-Hommersom-BackgroundTask,
  author		= "{Hommersom}, A.J. and {Groot}, P. and {Lucas}, P.J.F. and {Balser}, M. and {Schmitt}, J.",
  title			= "{Verification of Medical Guidelines using Background Knowledge in Task Networks}",
  journal		= "IEEE Transactions on Knowledge and Data Engineering",
  month			= "June",
  year			= "2007",
  research_group	= "iris",
  class			= "Journal"
}