C-Cubing: Efficient Computation of Closed Cubes by Aggregation-Based Checking | IEEE Conference Publication | IEEE Xplore