The top documents tagged [conjunctive query containment]