Decision Problems for Differential Equations. - J. Denef; Leonard Lipshitz (J. Symb. Log., 1989)