Compliance checking of cancer-screening. Careflows: an approach based on Computational Logic - Chesani, F; Lamma, E; Mello, P; Montali, M; Storari, S; Baldazzi, P (Stud Health Technol Inform, 2008)