Audit Oriented Fast Algorithm for Sequential Mining with Constraints. - Hongliang Xin; Weimin Ouyang; Wantao Zhu (CIMCA/IAWTIC, 2005)