Speck, D.; Geißer, F.; Mattmüller, R. When Perfect Is Not Good Enough: On the Search Behaviour of Symbolic Heuristic Search. ICAPS 2020, 30, 263-271.