C. D. Rosin, “Stepping Stones to Inductive Synthesis of Low-Level Looping Programs”, AAAI, vol. 33, no. 01, pp. 2362-2370, Jul. 2019.