P. Buser and B. Scarpellini, “Undecidable propositions by ODE’s”, Ann. Fenn. Math., vol. 32, no. 2, pp. 317–340, Aug. 2007.