H. Kirchner, P.E. Moreau "A reflective extension of ELAN - In J. Meseguer, editors. Proceedings of the first international workshop on rewriting logic. Asilomar 1996.

Languages mentioned

• Elan {1998} Constraint logic program