Backstrom, C.; Jonsson, P. Abstracting Abstraction in Search II: Complexity Analysis. SOCS 2021, 3, 10-17.