[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.
