Buser, P. and Scarpellini, B. (2007) “Undecidable propositions by ODE’s”, Annales Fennici Mathematici, 32(2), pp. 317–340. Available at: https://afm.journal.fi/article/view/135196 (Accessed: 25November2024).