Sideris, A.; Dimopoulos, Y. Constraint Propagation in Propositional Planning. ICAPS 2010, 20, 153-160.