Rosin, C. D. Stepping Stones to Inductive Synthesis of Low-Level Looping Programs. AAAI 2019, 33, 2362-2370.