Paliath Narendran;Friedrich Otto;Karl Winklmann
-;-;-
Thue systems as rewriting systems
Journal of Symbolic Computation