A. Gefen and R. Brafman, “Pruning Methods for Optimal Delete-Free Planning”, ICAPS, vol. 22, no. 1, pp. 56-64, May 2012.