Hoare AHM. Nielsen methods in groups with a length function. Math. Scand. [Internet]. 1981 Dec. 1 [cited 2024 Nov. 22];48:153-64. Available from: https://www.mscand.dk/article/view/11908