Checking the quality of clinical guidelines using automated reasoning tools.

Arjen Hommersom Peter J. F. Lucas Patrick van Bommel Checking the quality of clinical guidelines using automated reasoning tools. 611-641 2008 8 TPLP 5-6 http://dx.doi.org/10.1017/S1471068408003451 db/journals/tplp/tplp8.html#HommersomLB08