Discovery of (strong) association rules, or implications, between the attributes of a binary table is an important task in data management, and it finds application in artificial intelligence, data mining and the semantic ...