Completion of a Set of Rules Modulo a Set of Equations.

Jean-Pierre Jouannaud Hélène Kirchner Completion of a Set of Rules Modulo a Set of Equations. 83-92 1984 POPL db/conf/popl/popl84.html#JouannaudK84