First-order definitions of rings of integral functions over algebraic extensions of function fields and undecidability - Alexandra Shlapentokh; Caleb Springer (2024)