P.E. Moreau, H. Kirchner "Compilation of Associative-Commutative Normalisation with Strategies in ELAN" (Full version) - Report CRIN 97-R-129

Languages mentioned

• Elan {1998} Constraint logic program