Endrullis, Jörg; Karhumäki, Juhani; Klop, Jan Willem; Saarela, Aleksi Degrees of infinite words, polynomials and atoms. (English) Zbl 1404.68068 Int. J. Found. Comput. Sci. 29, No. 5, 825-843 (2018). Reviewer: Michel Rigo (Liège) MSC: 68Q45 68R15 PDFBibTeX XMLCite \textit{J. Endrullis} et al., Int. J. Found. Comput. Sci. 29, No. 5, 825--843 (2018; Zbl 1404.68068) Full Text: DOI arXiv
Dawson, Jeremy E.; Goré, Rajeev Termination of abstract reduction systems. (English) Zbl 1170.68502 Int. J. Found. Comput. Sci. 20, No. 1, 57-82 (2009). MSC: 68Q42 03B40 PDFBibTeX XMLCite \textit{J. E. Dawson} and \textit{R. Goré}, Int. J. Found. Comput. Sci. 20, No. 1, 57--82 (2009; Zbl 1170.68502) Full Text: DOI