Controlling rewriting: study and implementation of a strategy formalism

Peter Borovanský. Controlling rewriting: study and implementation of a strategy formalism. Electronic Notes in Theoretical Computer Science, 15:299-310, 1998. [doi]

Abstract

Abstract is missing.