Peter Borovanský. 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). PhD thesis, Henri Poincaré University, Nancy, France, 1998. [doi]
Abstract is missing.