Theory exploration of sets represented as monotone lists | IEEE Conference Publication | IEEE Xplore