François Fages Julian Fowler Thierry Sola Experiments in Reactive Constraint Logic Programming. 185-212 1998 37 J. Log. Program. 1-3 db/journals/jlp/jlp37.html#FagesFS98