Lazy rewriting and eager machinery
scientific article; zbMATH DE number 7631247