J. Seipp and M. Helmert, “Diverse and Additive Cartesian Abstraction Heuristics”, ICAPS, vol. 24, no. 1, pp. 289–297, May 2014.