G. P. Sarma and N. J. Hay, “Robust Computer Algebra, Theorem Proving, and Oracle AI”, IJCAI, vol. 41, no. 4, Dec. 2017.