Robust Computer Algebra, Theorem Proving, and Oracle AI. INF. 2017;41(4). Accessed November 14, 2025. https://puffbird.ijs.si/index.php/informatica/article/view/1873