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

Jean-Pierre Jouannaud, Hlne Kirchner

Browse the full POPL paper archive.