C. Backstrom and P. Jonsson, “Abstracting Abstraction in Search II: Complexity Analysis”, SOCS, vol. 3, no. 1, pp. 10–17, Jul. 2012.