Controlling rewriting by rewriting (1996)

by P Borovansk´y, C Kirchner, H Kirchner
Venue:Proceedings of the first international workshop on rewriting logic, volume 4 of Electronic Notes in Theoretical Computer Science, Asilomar (California