P. Borovansky, S. Jamoussi, P.-E. Moreau, and C.Ringeissen "Handling ELAN Rewrite Programs via an Exchange Format" in C. and H. Kirchner, editors. Proceedings of the 2nd International Workshop on Rewriting Logic and its Applications, Pont-A-Mousson, France, September 1998

Languages mentioned

• Elan {1998} Constraint logic program