Bonet, B. “Abstraction Heuristics Extended With Counting Abstractions”. Proceedings of the International Conference on Automated Planning and Scheduling, vol. 21, no. 1, Mar. 2011, pp. 311-4, doi:10.1609/icaps.v21i1.13480.