Gazing : A technique for controlling the use of rewrite rules

Dave Plummer. Gazing : A technique for controlling the use of rewrite rules. PhD thesis, University of Edinburgh, UK, 1987. [doi]

Abstract

Abstract is missing.