Jean-Pierre Jouannaud Miguel Munoz Termination of a Set of Rules Modulo a Set of Equations. 175-193 1984 conf/cade/1984 CADE db/conf/cade/cade84.html#JouannaudM84 http://dx.doi.org/10.1007/BFb0047121