Arjen Hommersom Peter J. F. Lucas Patrick van Bommel Checking the Quality of Clinical Guidelines using Automated Reasoning Tools http://arxiv.org/abs/0806.0250 2008 CoRR abs/0806.0250 db/journals/corr/corr0806.html#abs-0806-0250 informal publication