Discovering Instance-Spanning Constraints from Process Execution Logs Based on Classification Techniques | IEEE Conference Publication | IEEE Xplore