Verification of Medical Guidelines Using Background Knowledge in Task Networks

by Arjen Hommersom, Perry Groot, Peter J. F. Lucas, Michael Balser, Jonathan Schmitt