CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT (Extended Version) | Read Paper on Bytez