Jimenez Celorrio, S.; Jonsson, A. Computing Plans With Control Flow and Procedures Using a Classical Planner. SOCS 2021, 6, 62-69.