Kourie DG, Obiedkov S, Watson BW, van der Merwe DW: 2009. An incremental algorithm to construct a lattice of set intersections. 74, pp 128-142.