"Encoding Conformance Checking Artefacts in SAT."

Mathilde Boltenhagen, Thomas Chatain, Josep Carmona (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics