Minimal term rewriting systems - Walters, Humphrey R.; Kamperman, Jasper F. (1995)