An alignment-based framework to check the conformance of declarative process models and to preprocess event-log data
Generalized best-first search strategies and the optimality of A*