Vincent Berry, Philippe Ézéquel. Distinguer les variables distinguées. In Marc-Michel Corsini, editor, JFPLC 94, IIIèmes Journées Francophones de Programmation Logique et Programmation par Contraintes, 1994, Bordeaux, France. pages 3-14, 1994.
Abstract is missing.