Peter J. F. Lucas. Quality Checking of Medical Guidelines through Logical Abduction. In Frans Coenen, Alun D. Preece, Ann Macintosh, editors, Research and Development in Intelligent Systems XX, Proceedings of AI2003, the Twenty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, UK, 15-17 December, 2003. pages 309-321, Springer, 2003. [doi]