A. Gerevini, F. Patrizi, and A. Saetti, “An Effective Approach to Realizing Planning Programs”, ICAPS, vol. 21, no. 1, pp. 323-326, Mar. 2011.