Controlling rewriting by rewriting (0)

by Peter Borovansky, Claude Kirchner, Helene Kirchner
Venue:Proceedings of the First International Workshop on Rewriting Logic and its Applications, volume4ofElectronic