Implementation of Higher-Order Unification Based on Calculus of Explicit Substitution. - Peter Borovanský (SOFSEM, 1995)

Controlling rewriting by rewriting. - Peter Borovanský; Claude Kirchner; Hélène Kirchner (WRLA, 1996)

ELAN: A logical framework based on computational systems. - Peter Borovanský; Claude Kirchner; Hélène Kirchner; Pierre-Etienne Moreau; Marian Vittek (WRLA, 1996)

A Functional View of Rewriting and Strategies for a Semantics of ELAN. - Peter Borovanský; Claude Kirchner; Hélène Kirchner (Fuji International Symposium on Functional and Logic Programming, 1998)

Controlling rewriting: study and implementation of a strategy formalism. - Peter Borovanský (WRLA, 1998)

Cooperation of constraint solvers: using the new process control facilities of ELAN. - Peter Borovanský; Carlos Castro 001 (WRLA, 1998)

Handling ELAN rewrite programs via an exchange format. - Peter Borovanský; Salma Jamoussi; Pierre-Etienne Moreau; Christophe Ringeissen (WRLA, 1998)

An overview of ELAN. - Peter Borovanský; Claude Kirchner; Hélène Kirchner; Pierre-Etienne Moreau; Christophe Ringeissen (WRLA, 1998)

Le contrôle de la réécriture : étude et implantation d'un formalisme de stratégies. (Controlling Rewriting : Study and Implementation of a Strategy Formalism). - Peter Borovanský (1998)

The use of a strategy language for solving search problems. - Carlos Castro 001; Peter Borovanský (Ann. Math. Artif. Intell., 2000)

Rewriting with Strategies in ELAN: A Functional Semantics. - Peter Borovanský; Claude Kirchner; Hélène Kirchner; Christophe Ringeissen (Int. J. Found. Comput. Sci., 2001)

ELAN from a rewriting logic point of view. - Peter Borovanský; Claude Kirchner; Hélène Kirchner; Pierre-Etienne Moreau (Theor. Comput. Sci., 2002)

A collection of C, C++ and Java code understanding and refactoring plugins. - Marian Vittek; Peter Borovanský; Pierre-Etienne Moreau (ICSM (Industrial and Tool Volume), 2005)

A Simple Generic Library for C. - Marian Vittek; Peter Borovanský; Pierre-Etienne Moreau (ICSR, 2006)

A C++ Refactoring Browser and Method Extraction. - Marian Vittek; Peter Borovanský; Pierre-Etienne Moreau (SET, 2006)