Buser P, Scarpellini B. Undecidable propositions by ODE’s. Ann. Fenn. Math. [Internet]. 2007Aug.1 [cited 2024Nov.25];32(2):317-40. Available from: https://afm.journal.fi/article/view/135196