@INPROCEEDINGS{Hanus01WRS_ENTCS,
author       = "Hanus, M.",
title        = "Reduction Strategies for Declarative Programming",
year         = "2001",
editor       = "Gramlich, B. and Lucas, S.",
booktitle    = "Electronic Notes in Theoretical Computer Science",
publisher    = "Elsevier Science Publishers",
volume       = "57" }
note         = "Also available from
                {\tt http://www.elsevier.nl/locate/entcs/volume57.html}",
abstract = {
This paper surveys reduction or evaluation strategies
for functional and functional logic programs.
Reasonable reduction strategies for declarative languages
must be efficiently implementable to be useful in practice.
On the other hand, they should also support the programmers
to write programs in a declarative way ignoring the
influence of the evaluation strategy to the success of a computation
as good as possible.
We review existing reduction strategies along these lines
and discuss some aspects for further investigation.
}
}