Buser, P., & Scarpellini, B. (2007). Undecidable propositions by ODE’s. Annales Fennici Mathematici, 32(2), 317–340. Retrieved from https://afm.journal.fi/article/view/135196