- [19]
H. Kirchner and P.E. Moreau:

**Non-deterministic Computations in ELAN.**-*Recent Developements in Algebraic Specification Techniques, Proc. 13th WADT'98, Selected Papers. J.L. Fiadeiro editor, LNCS 1589, pp. 168-182, 1999.* - [36]
P.-E. Moreau:

**Compilation de règles de réécriture et de stratégies non-déterminites.**-*In French. Thèse de Doctorat d'Université, Université Henri Poincaré - Nancy I, June 1999.* - [40]
P. Borovansky, H. Cirstea, H. Dubois, C. Kirchner, H. Kirchner, P.E. Moreau,
C. Ringeissen and M. Vittek:

**ELAN V 3.3 User manual.**-*INRIA Lorraine & LORIA, Nancy (France), third edition, December 1998.* - [16]
P.E. Moreau, H. Kirchner:

**A Compiler for Rewrite Programs in Associative-Commutative Theories.**-*In Proceedings of Algebraic and Logic Programming - Programming Language Implementation and Logic Programming, ALP/PLI LP'98, Lecture Notes in Computer Science, Pisa, September 1998. Springer-Verlag.* - [20]
P. Borovansky, S. Jamoussi, P.-E. Moreau, and C.Ringeissen:

**Handling ELAN Rewrite Programs via an Exchange Format.**-*In C. and H. Kirchner, editors. Proceedings of the 2nd International Workshop on Rewriting Logic and its Applications, Pont-A-Mousson, France, September 1998* - [13]
P. Borovansky:

**The control of rewriting : Study and Implementation of a Strategy Formalism.***In C. and H. Kirchner, editors. Proceedings of the 2nd International Workshop on Rewriting Logic and its Applications, Pont-A-Mousson, France, September 1998.* - [18]
P.E. Moreau:

**A choice-point library for backtrack programming.***JICSLP'98 Post-Conference Workshop on Implementation Technologies for Programming Languages based on Logic, June 1998* - [10]
P. Borovansky, C. Kirchner, H. Kirchner, P.E. Moreau and M. Vittek:

**ELAN V 3.0 User manual.**-*INRIA Lorraine & LORIA, Nancy (France), second edition, January 1998.* - [17]
P.E. Moreau, H. Kirchner:

**Compilation of Associative-Commutative Normalisation with Strategies in ELAN (Full version)**-*Report CRIN 97-R-129*

A more advanced approach of compilation of AC-normalisation including compilation of strategies. - [15]
P.E. Moreau, H. Kirchner:

**Compilation Techniques for Associative-Commutative Normalisation**-*In Proceedings of International Workshop on Theory and Practice of Algebraic Specifications ASF+SDF 97, Amsterdam 1997.*

A first approach of compilation of AC-normalisation, especially focussing on AC-matching. - [11]
M. Vittek:

**A Compiler for Nondeterministic Term Rewriting Systems.**-*In H.Ganzinger, editor. Proceedings 7th Conference on Rewriting Techniques and Applications, New Brunswick, New Jersey, USA, Volume 1103 of Lecture Notes in Computer Science, pages 154-168. Springer-Verlag, July 1996.*