A Reactive Constraint Logic Programming Scheme.

François Fages Julian Fowler Thierry Sola A Reactive Constraint Logic Programming Scheme. 149-163 1995 ICLP db/conf/iclp/iclp95.html#FagesFS95