Buser, Peter, and Bruno Scarpellini. 2007. “Undecidable Propositions by ODE’s”. Annales Fennici Mathematici 32 (2):317-40. https://afm.journal.fi/article/view/135196.