David Lo Siau-Cheng Khoo Limsoon Wong Non-redundant sequential rules - Theory and algorithm. 438-453 2009 34 Inf. Syst. 4-5 http://dx.doi.org/10.1016/j.is.2009.01.002 db/journals/is/is34.html#LoKW09