![Verification of Medical Guidelines Using Background Knowledge in Task Networks]()
Verification of Medical Guidelines Using Background Knowledge in Task NetworksHommersom, Arjen; Hommersom, Arjen; Groot, Perry; Groot, Perry; Lucas, Peter J.F.; Lucas, Peter J.F.; Balser, Michael; Balser, Michael; Schmitt, Jonathan; Schmitt, Jonathan · IEEE Transactions on Knowledge and Data Engineering · 2007