A New Result about the Decidability of the Existential One-Step Rewriting Theory.

Sébastien Limet Pierre Réty A New Result about the Decidability of the Existential One-Step Rewriting Theory. 118-132 http://dx.doi.org/10.1007/3-540-48685-2_10 1999 conf/rta/1999 RTA db/conf/rta/rta99.html#LimetR99