2006
2005
2002
2001
2000
1998
- Peter Borovanský, Claude Kirchner, Hélène Kirchner. A Functional View of Rewriting and Strategies for a Semantics of ELAN. FLOPS 1998: 143-166
- Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen. An overview of ELAN. ENTCS, 15, 1998. [doi]
- Peter Borovanský, Salma Jamoussi, Pierre-Etienne Moreau, Christophe Ringeissen. Handling ELAN rewrite programs via an exchange format. ENTCS, 15, 1998. [doi]
- Peter Borovanský, Carlos Castro. Cooperation of constraint solvers: using the new process control facilities of ELAN. ENTCS, 15, 1998. [doi]
- Peter Borovanský. Controlling rewriting: study and implementation of a strategy formalism. ENTCS, 15, 1998. [doi]
1996
- Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Marian Vittek. ELAN: A logical framework based on computational systems. ENTCS, 4, 1996. [doi]
- Peter Borovanský, Claude Kirchner, Hélène Kirchner. Controlling rewriting by rewriting. ENTCS, 4, 1996. [doi]
1995