1 results
Checking the quality of clinical guidelines using automated reasoning tools
-
- Journal:
- Theory and Practice of Logic Programming / Volume 8 / Issue 5-6 / November 2008
- Published online by Cambridge University Press:
- 01 November 2008, pp. 611-641
-
- Article
- Export citation