Papers and technical reports about
ELAN
Applications  Solving
 [56]
J. Stuber:
.Experiments with an Implementation of Extended Narrowing And Resolution in the Rewriting Language ELAN (System Description) 
Submitted to RTA'2001, December 2000.
 [45]
H.Dubois and H.Kirchner:
Rule Based Programming with Constraints and Strategies.  "New Trends in Constraints" (Papers from the Joint ERCIM/CompulogNet Workshop, Cyprus, October 2527, 1999). K.R. Apt, A.C. Kakas, E. Monfroy, F. Rossi Editors. Lecture Notes in Artificial Intelligence, Volume 1865, pages 274297. SpringerVerlag, 2000.
 [38]
H.Dubois and H.Kirchner:
Rule Based Programming with Constraints and Strategies.  Proceedings
of the Workshop of the COMPULOG/ERCIM Working Group on Constraints, Paphos,
Cyprus, October 1999.
 [37]
C.Castro:
Une
approche déductive de la résolution de problèmes de satisfaction
de contraintes.  In French. Thèse de Doctorat d'Université,
Université Henri Poincaré  Nancy I, December 1998.
 [32]
P. Borovansky, and C. Castro:
Cooperation of Constraint Solvers: Using the New Process Control Facilities
of ELAN  In C. and H. Kirchner, editors. Proceedings of the 2nd
International Workshop on Rewriting Logic and its Applications, PontAMousson,
France, September 1998
 [31]
C. Castro:
Building Constraint Satisfaction Problem Solvers Using Rewrite Rules and
Strategies.  Fundamenta Informaticae, 34(3):263293. September 1998.
 [30]
C. Castro:
Constraint Manipulation using Rewrite Rules and Strategies.  In
A. Drewery, G.J. M. Kruijff, and R. Zuber, editors. Proceedings of the 2nd
ESSLLI Student Session, 9th European Summer School in Logic, Language and
Information, ESSLLI'97, pages 4556, AixenProvence, France, August 1997.
 [27]
C. Ringeissen:
Prototyping Combination of Unification Algorithms with the ELAN RuleBased
Programming Language  In Proceedings of the 8th Conference on
Rewriting Techniques and Applications, Sitges (Spain) 1997.
Illustrates the capability of ELAN for combining constraint solvers.
 [29]
C. Castro:
Binary CSP Solving as an Inference Process.  In Proceedings
of the 8th International Conference on Tools in Artificial Intelligence, ICTAI'96,
Toulouse, France, pages 462463, November 1996.



