A functional view of rewriting and strategies for a semantics of ELAN (1998)

by Peter Borovanský, Claude Kirchner, Hélène Kirchner
Venue:In Masahiko Sato and Yoshihito Toyama, editors, The Third Fuji International Symposium on Functional and Logic Programming