M. Vittek "ELAN: Un cadre logique pour le prototypage de langages de programmation avec contraintes - Thèse en informatique, Université de Nancy I, November 1994

Languages mentioned

• Elan {1998} Constraint logic program