Non-Automata Based Conformance Checking of Declarative Process Specifications Based on ASP.

Isabelle Kuhlmann, Carl Corea, John Grant

Browse the full BPM paper archive.