P.Borovansky, C.Kirchner, H. Kirchner and C. Ringeissen "Rewriting with strategies in ELAN: a functional semantics - to appear in the International Journal of Foundations of Computer Science, March 2001.

Languages mentioned

• Elan {1998} Constraint logic program