Bastide, Y.; Pasquier, N.; Taouil, R.; Stumme, G. & Lakhal, L. (2000), Mining Minimal Non-Redundant Association Rules Using Frequent Closed Itemsets, in J. Lloyd; V. Dahl; U. Furbach; M. Kerber; K.-K. Laus; C. Palamidessi; L.M. Pereira; Y. Sagiv & P.J. Stuckey, ed., 'Computational Logic --- CL 2000 Proc. CL'00' , Springer, Heidelberg .