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

by P Borovansk´y, C Kirchner, H Kirchner
Venue:The Third Fuji International Symposium on Functional and Logic Programming