Partial MaxSAT Computation of Conformance Checking Artefacts | Publicación