JP Mutanguha - preprint, available at https://mutanguha. com/pdfs …, 2022 - mutanguha.com
There is an algorithm for constructing a canonical representative for an injective free group
endomorphism. The main corollary to our algorithm is an affirmative answer to Ventura's …