Termination of a Set of Rules Modulo a Set of Equations | Publicación