Verification of medical guidelines using background knowledge in task networks. (2007)

by A J Hommersom, P C Groot, P J F Lucas, M Balser, J Schmitt
Venue:IEEE Transactions on Knowledge and Data Engineering,