Title: Rewriting Techniques and Applications
First published: April 1989