2017. Robust Computer Algebra, Theorem Proving, and Oracle AI. Informatica. 41, 4 (Dec. 2017).