Buser, P., and B. Scarpellini. “Undecidable Propositions by ODE’s”. Annales Fennici Mathematici, vol. 32, no. 2, Aug. 2007, pp. 317-40, https://afm.journal.fi/article/view/135196.