Allocation folding based on dominance. - Daniel Clifford; Hannes Payer; Michael Starzinger; Ben L. Titzer (ISMM, 2014)