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