(1)
Kasalica, V.; Lamprecht, A.-L. Workflow Discovery With Semantic Constraints: The SAT-Based Implementation of APE.
ECEASST
2020
,
78
.