A Fixpoint Definition of Dynamic Constraint Satisfaction (1999)

AUTHORS:

Soininen Timo , Gelle Esther , Niemelä Ilkka

  • BOOKTITLE:
  • PAGES:
  • 419-433