Buser, P. and Scarpellini, B. 2007. Undecidable propositions by ODE’s. Annales Fennici Mathematici. 32, 2 (Aug. 2007), 317–340.