Full Substitution Strategy


We show that the full-substitution strategy is normalising for TRSs
fulfilling the recent confluence criterion of Hirokawa and Middeldorp.