P. Sarma, Gopal, and Nick J. Hay. “Robust Computer Algebra, Theorem Proving, and Oracle AI”. Informatica 41, no. 4 (December 27, 2017). Accessed August 8, 2025. https://puffbird.ijs.si/index.php/informatica/article/view/1873.