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