Federico Chesani, Evelina Lamma, Paola Mello, Marco Montali, Sergio Storari, Paola Baldazzi, Marilena Manfredi. Compliance Checking of Cancer-Screening CareFlows: an Approach based on Computational Logic. In Annette ten Teije, Silvia Miksch, Peter J. F. Lucas, editors, Computer-based Medical Guidelines and Protocols: A Primer and Current Trends. Volume 139 of Studies in Health Technology and Informatics, pages 183-192, IOS Press, 2008. [doi]
Abstract is missing.