Arjen Hommersom Perry Groot Peter J. F. Lucas Michael Balser Jonathan Schmitt Combining task execution and background knowledge for the verification of medical guidelines. 113-119 2007 20 Knowl.-Based Syst. 2 http://dx.doi.org/10.1016/j.knosys.2006.11.005 db/journals/kbs/kbs20.html#HommersomGLBS07