P. Sarma, G. and J. Hay, N. 2017. Robust Computer Algebra, Theorem Proving, and Oracle AI. Informatica. 41, 4 (Dec. 2017).