Solving Disequations Modulo Some Class of Rewrite Systems.

Sébastien Limet Pierre Réty Solving Disequations Modulo Some Class of Rewrite Systems. 121-135 http://dx.doi.org/10.1007/BFb0052365 1998 conf/rta/1998 RTA db/conf/rta/rta98.html#LimetR98