Chompitaki, D., Kamarianakis, M., Pheidas, T. (2022). Notes on the decidability of addition and the Frobenius map for polynomials and rational functions. Reports on Mathematical Logic, 2022, 53-60. doi: https://doi.org/10.4467/20842589RM.22.004.16661