Diophantine Undecidability in Some Rings of Algebraic Numbers of Totally Real Infinite Extensions of Q. - Alexandra Shalpentokh (Ann. Pure Appl. Log., 1994)

Weak Presentation of Computable Fields. - Carl G. Jockusch Jr.; Alexandra Shalpentokh (J. Symb. Log., 1995)