#
Papers and technical reports about
ELAN

##
Applications -- Programming

[47]
H. Dubois and H. Kirchner:

**Objects,
rules and strategies in ELAN** - *Research Report LORIA A00-R-245, Nancy, France, November 2000.
*

[46]
H. Dubois and H. Kirchner:

**Objects,
rules and strategies in ELAN** - *Algebraic Methods in Language Processing - AMILP 2000, Iowa City, Iowa, USA. May 2000.
*

[21]
C. Kirchner and C. Ringeissen:

**Rule-Based Constraint Programming.** - *Fundamenta Informaticae, 34(3):225-262,
September 1998.*

[41]
H. Dubois and H. Kirchner:

**Actions
and Plans in ELAN** - *Proceedings of the Workshop on Strategies
in Automated Deduction - CADE-15, Lindau, Germany. July 1998. Technical Report
LORIA 98-R-275.*

[23]
P. Viry:

**Input/Output for ELAN.** - *In J. Meseguer, editor. Proceedings of
the 1st International Workshop on Rewriting Logic and its Applications, volume
4 of Electronic Notes in Theoretical Computer Science, Asilomar, California,
September 1996. Elsevier.*

[22]
P. Borovansky:

**Implementation of higher-order unification based on calculus of explicit
substitutions.** - * In Proceedings of SOFSEM'95, Lecture Notes in
Computer Science, pages 363-368. Springer-Verlag, 1995*