%0 Book %A %T Rewriting techniques and applications : %U /book/92935305/Rewriting-techniques-and-applications/