Conformance Checking of Cancer-Screening Careflows: an Approach based on Computational Logic.