complete systems of term rewriting rules
scientific article