Papers and technical reports about ELAN

Generality on ELAN

- [42] H. Kirchner:
ELAN (invited tutorial) - JFPLC'99 Journées Francophones de Programmation Logique et programmation par Contraintes, Lyon, France, June 1999. Hermes Science Publications, F. Fages editor, pp. 241-248.

- [33] P. Borovansky, C. Kirchner, H. Kirchner, P.E. Moreau and C. Ringeissen:
An Overview of ELAN - In C. and H. Kirchner, editors. Proceedings of the 2nd International Workshop on Rewriting Logic and its Applications, Pont-A-Mousson, France, September 1998