S. Jimenez Celorrio and A. Jonsson, “Computing Plans with Control Flow and Procedures Using a Classical Planner”, SOCS, vol. 6, no. 1, pp. 62–69, Sep. 2021.