The logical foundations of ELAN are described in several papers. The initial
ideas are presented in  where
the notion of computational systems is introduced in a constraint solving
context. The first design of ELAN is described in M. Vittek's PhD thesis
and in . In this initial approach,
strategies are expressed using the strategy constructors
concatenation and iteration. The idea of a user-defined strategy language
implemented in rewriting logic for ELAN is presented in .
A functional view of rewriting and strategies is given in 
and provides a functional semantics for ELAN. Ideas on meta-interpretation
and partial evaluation of the strategy language are explained in .
Preliminary ideas to build a reflective extension of ELAN have been presented