Falcone, F.; Gerevini, A.; Saetti, A. On Realizing Planning Programs in Domains With Dead-End States. SOCS 2021, 8, 20-28.