Julian Fowler Thierry Sola François Fages Un modèle d'exécution réactif et interactif pour la programmation logique avec contraintes. 21-33 1995 conf/jfplc/1995 JFPLC db/conf/jfplc/jfplc1995.html#FowlerSF95