Lazo: A Cardinality-Based Method for Coupled Estimation of Jaccard Similarity and Containment | IEEE Conference Publication | IEEE Xplore