A Functional View of Rewriting and Strategies for a Semantics of ELAN.

Published in: Fuji International Symposium on Functional and Logic Programming (1998)