A Fixpoint Definition of Dynamic Constraint Satisfaction (1999)
Soininen Timo , Gelle Esther , Niemelä Ilkka