Seipp, J.; Helmert, M. Diverse and Additive Cartesian Abstraction Heuristics. ICAPS 2014, 24, 289-297.