Authors: DAUCHET M CARON AC COQUIDE JL

Citation: M. Dauchet et al., AUTOMATA FOR REDUCTION PROPERTIES SOLVING, Journal of symbolic computation, 20(2), 1995, pp. 215-233

Authors: CARON AC COQUIDE JL

Citation: Ac. Caron et Jl. Coquide, DECIDABILITY OF REACHABILITY FOR DISJOINT UNION OF TERM REWRITING-SYSTEMS, Theoretical computer science, 126(1), 1994, pp. 31-52