[1]
A. Sideris and Y. Dimopoulos, “Constraint Propagation in Propositional Planning”, ICAPS, vol. 20, no. 1, pp. 153-160, May 2010.