T. Matricon, N. Fijalkow, and G. Lagarde, “Eco Search: A No-delay Best-First Search Algorithm for Program Synthesis”, AAAI, vol. 39, no. 18, pp. 19432–19439, Apr. 2025.