Formalizing data mining with association rules | IEEE Conference Publication | IEEE Xplore