Buser, Peter, and Bruno Scarpellini. “Undecidable Propositions by ODE’s”. Annales Fennici Mathematici 32, no. 2 (August 1, 2007): 317–340. Accessed November 25, 2024. https://afm.journal.fi/article/view/135196.