Johan M. M. van Rooij Jesper Nederlof Thomas C. van Dijk Inclusion/Exclusion Meets Measure and Conquer. 554-565 2009 ESA http://dx.doi.org/10.1007/978-3-642-04128-0_50 conf/esa/2009 db/conf/esa/esa2009.html#RooijND09