On Realizing Planning Programs in Domains with Dead-End States. - Federico Falcone; Alfonso Emilio Gerevini; Alessandro Saetti (SOCS, 2017)