Termination of a Set of Rules Modulo a Set of Equations. - Jean-Pierre Jouannaud; Miguel Munoz (CADE, 1984)