Gulwani, et al.. A Combination Framework for Tracking Partition Sizes. ACM Press, 2008, doi:10.1145/1480881.1480912.