Shugurov, Mitsyuk, 2016. Applying MapReduce to Conformance Checking 28.. https://doi.org/10.15514/ispras-2016-28(3)-7