“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.