S. Poo Hernandez and V. Bulitko, “Speeding Up Heuristic Function Synthesis via Extending the Formula Grammar”, SOCS, vol. 12, no. 1, pp. 233–235, Jul. 2021.