P. Sarma, Gopal, and Nick J. Hay. “Robust Computer Algebra, Theorem Proving, and Oracle AI”. Informatica, vol. 41, no. 4, Dec. 2017, https://puffbird.ijs.si/index.php/informatica/article/view/1873.