https://123dok.net/document/y96rp8ly-abductive-workflow-mining-using-binary-resolution-on-task-successor-rules.html