A reflective extension of Elan (1996)

by H Kirchner, P-E Moreau
Venue:Proceedings of the first international workshop on rewriting logic, volume 4, Asilomar (California