Progressive partition miner: an efficient algorithm for mining general temporal association rules | IEEE Journals & Magazine | IEEE Xplore