1. P. 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
2. ELAN V 3.6 User Manual;Borovanský,2004
3. ELAN from a rewriting logic point of view;Borovansky;Theoretical Computer Science,2002
4. Rewriting with strategies in ELAN: a functional semantics;Borovanský;International Journal of Foundations of Computer Science,2001
5. Building Constraint Satisfaction Problem Solvers Using Rewrite Rules and Strategies;Castro;Fundamenta Informaticae,1998