Kazuhiro Fuchi;Laurent Kott
-;-
Shallow confluence of conditional term rewriting systems
Journal of Symbolic Computation