Distinguer les variables distinguées

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

Abstract is missing.