Controlling rewriting by rewriting. To appear (1996)

by P Borovansk'y, C Kirchner, H Kirchner
Venue:in Proc. 1 st Intl. Workshop on Rewriting Logic and its Applications, ENTCS