P. Sarma, G., & J. Hay, N. (2017). Robust Computer Algebra, Theorem Proving, and Oracle AI. Informatica, 41(4). Retrieved from https://puffbird.ijs.si/index.php/informatica/article/view/1873