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