Implication-based and cardinality-based inclusions in information retrieval | IEEE Conference Publication | IEEE Xplore