D. Speck, F. Geißer, and R. Mattmüller, “When Perfect Is Not Good Enough: On the Search Behaviour of Symbolic Heuristic Search”, ICAPS, vol. 30, no. 1, pp. 263-271, Jun. 2020.