Hilbert's Tenth Problem for Rings of Rational Functions. - Karim Zahidi (Notre Dame J. Formal Log., 2002)

Elimination theory for addition and the Frobenius map in polynomial rings. - Thanases Pheidas; Karim Zahidi (J. Symb. Log., 2004)