Fišer, D.; Torralba, Álvaro; Hoffmann, J. Operator-Potential Heuristics for Symbolic Search. AAAI 2022, 36, 9750-9757.