“Robust Computer Algebra, Theorem Proving, and Oracle AI”. 2017. Informatica 41 (4). https://www.informatica.si/index.php/informatica/article/view/1873.