Springer, Berlin, HeidelbergRewriting Techniques and ApplicationsGodoy, G., Jacquemard, F.: Unique normalization for shallow TRS. In: Treinen, R. (ed.) Proceedings of the 20th International Conference on Rewriting Techniques and Applications, Lecture Notes in Computer Science, vol. 5595, pp. 63...