M. Fritzsche, D. Gnad, M. Gruntov, and A. Shleyfman, “Managing Infinite Abstractions in Numeric Pattern Database Heuristics”, AAAI, vol. 40, no. 43, pp. 36227–36235, Mar. 2026.