A general divide and conquer approach for process mining
Process Discovery using Integer Linear Programming