Reduction and irreducibility for words and tree-words
Tom 126 / 1986
Fundamenta Mathematicae 126 (1986), 107-121
DOI: 10.4064/fm-126-2-107-121