Gefen, A.; Brafman, R. Pruning Methods for Optimal Delete-Free Planning. ICAPS 2012, 22, 56-64.