RRL : Rewrite Rule Laboratory User's Manual (1987)

by D Kapur, H Zhang