@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" }