B. Bonet, “Abstraction Heuristics Extended with Counting Abstractions”, ICAPS, vol. 21, no. 1, pp. 311-314, Mar. 2011.