Reidenbach, D., & Day, J. D. (2022). Unambiguous Injective Morphisms in Free Groups. Information and Computation, 289(Part A), https://doi.org/10.1016/j.ic.2022.104946