References

 [BJKO99]

M.G.J. van den Brand, H.A. de Jong, P. Klint, and P.A. Olivier. Efficient Annotated Terms. Technical report, CWI, 1999. Submitted.

 [BJMR98]

Peter Borovanský, Selma Jamoussi, Pierre-Etienne Moreau, and Christophe Ringeissen. Handling  ELAN rewrite programs via an exchange format. In Claude Kirchner and Hélène Kirchner, editors, Proceedings of the second International Workshop on Rewriting Logic and Applications, volume 15, http://www.elsevier.nl/locate/entcs/volume15.html, Pont-à-Mousson (France), September 1998. Electronic Notes in Theoretical Computer Science.

 [BKK⁺98]

Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, and Christophe Ringeissen. An overview of  ELAN. In Claude Kirchner and Hélène Kirchner, editors, Proceedings of the second International Workshop on Rewriting Logic and Applications, volume 15, http://www.elsevier.nl/locate/entcs/volume15.html, Pont-à-Mousson (France), September 1998. Electronic Notes in Theoretical Computer Science. Report LORIA 98-R-316.

 [Bor98]

Peter Borovanský. Le contrôle de la réécriture: étude et implantation d'un formalisme de stratégies. Thèse de Doctorat d'Université, Université Henri Poincaré - Nancy 1, France, October 1998. also TR LORIA 98-T-326.

 [KM98]

Hélène Kirchner and Pierre-Etienne Moreau. Non-deterministic computations in ELAN. In J.L. Fiadeiro, editor, Recent Developements in Algebraic Specification Techniques, Proc. 13th WADT'98, Selected Papers, number 1548 in Lecture Notes in Computer Science, pages 168-182. Springer-Verlag, 1998. Report LORIA 98-R-278.

 [MK98]

Pierre-Etienne Moreau and Hélène Kirchner. A compiler for rewrite programs in associative-commutative theories. In "Principles of Declarative Programming", number 1490 in Lecture Notes in Computer Science, pages 230-249. Springer-Verlag, September 1998. Report LORIA 98-R-226.

 [MKKB97]

T. Mossakowski, K. Kolyang, and B. Krieg-Brückner. Static semantic analysis and theorem proving for CASL. In J.L. Fiadeiro, editor, Recent Developements in Algebraic Specification Techniques, Proc. 12th WADT'97, Selected Papers, number 1376 in Lecture Notes in Computer Science, pages 333-348. Springer-Verlag, 1997.

 [Mos00]

T. Mossakowski. CASL - From Semantics to Tools. In Proc. TACAS'2000, number 1785 in Lecture Notes in Computer Science, pages 93-108, Berlin, 2000. Springer-Verlag.