{Compliance Checking of Cancer-Screening Careflows: an Approach Based on Computational Logic}