Rewrite, Rewrite, Rewrite, Rewrite, Rewrite

Nachum Dershowitz, Stéphane Kaplan. Rewrite, Rewrite, Rewrite, Rewrite, Rewrite. In POPL. pages 250-259, 1989.

Abstract

Abstract is missing.