Finite Complete Rewriting Systems and the Complexity of the Word Problem. - G. Bauer; Friedrich Otto (Acta Informatica, 1984)

n-Level Rewriting Systems. - G. Bauer (Theor. Comput. Sci., 1985)