G. P. Sarma and N. J. Hay, “Robust Computer Algebra, Theorem Proving, and Oracle AI”, Informatica, vol. 41, no. 4, Dec. 2017, Accessed: Sep. 15, 2026. [Online]. Available: https://www.informatica.si/index.php/informatica/article/view/1873