implementation of redundancy-aware top-k patterns by D.Xin, et.al. (KDD'06)