Patrick Bosc, Laurent Ughetto, Olivier Pivert, Vincent Claveau: Implication-based and cardinality-based inclusions in information retrieval. FUZZ-IEEE 2009: 2088-2093