Backstrom, Christer, and Peter Jonsson. “Abstracting Abstraction in Search II: Complexity Analysis”. Proceedings of the International Symposium on Combinatorial Search, vol. 3, no. 1, July 2012, pp. 10-17, doi:10.1609/socs.v3i1.18240.