Termination of a Set of Rules Modulo a Set of Equations.

Jean-Pierre Jouannaud, Miguel Munoz

Browse the full CADE paper archive.