SEARCH Articles Figures Tables UPGRADE UPGRADE AND EXTENSION OF THE UNIFICATION TECHNIQUE Unification Unification technique Upgrader Upgraders