Robust Computer Algebra, Theorem Proving, and Oracle AI. IJCAI [Internet]. 2017 Dec. 27 [cited 2026 Jul. 28];41(4). Available from: https://www.informatica.si/index.php/informatica/article/view/1873