F. Falcone, A. Gerevini, and A. Saetti, “On Realizing Planning Programs in Domains with Dead-End States”, SOCS, vol. 8, no. 1, pp. 20–28, Sep. 2021.