Encoding Conformance Checking Artefacts in SAT | Publicación