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. TPLP, 8(5-6):611-641, 2008. [doi]

Abstract

Abstract is missing.