Eric Vétillard Utilisation de Déclarations en Programmation Logique avec Contraintes. [Citation Graph (0, 0)][DBLP] JFPLC, 1994, pp:127-142 [Conf]
Eric Vétillard Vérification de déclarations en programmation logique avec contraintes. [Citation Graph (0, 0)][DBLP] JFPLC, 1995, pp:333-335 [Conf]
Eric Vétillard Applications de la programmation logique avec contraintes aux problèmes de transport. [Citation Graph (0, 0)][DBLP] JFPLC, 1996, pp:155-0 [Conf]