"rewrite rules"@cs .