Rewrite, Rewrite, Rewrite, Rewrite, Rewrite, . . .

Nachum Dershowitz Stéphane Kaplan David A. Plaisted Rewrite, Rewrite, Rewrite, Rewrite, Rewrite, . . . 71-96 1991 83 Theor. Comput. Sci. 1 db/journals/tcs/tcs83.html#DershowitzKP91