APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

Sarma, Gopal P., and Nick J. Hay. "Robust Computer Algebra, Theorem Proving, and Oracle AI." Informatica (03505596) 41, no. 4 (2017): 451.

MLA (9th ed.) Citation

Sarma, Gopal P., and Nick J. Hay. "Robust Computer Algebra, Theorem Proving, and Oracle AI." Informatica (03505596), vol. 41, no. 4, 2017, p. 451.

Warning: These citations may not always be 100% accurate.