APA (7th ed.) Citation

Nikolic, M., Marinkovic, V., Kovaacs, Z., & Janicic, P. (2019). Portfolio theorem proving and prover runtime prediction for geometry. Annals of mathematics and artificial intelligence, 85(2-4), 119-146. https://doi.org/10.1007/s10472-018-9598-6

Chicago Style (17th ed.) Citation

Nikolic, Mladen, Vesna Marinkovic, Zoltan Kovaacs, and Predrag Janicic. "Portfolio Theorem Proving and Prover Runtime Prediction for Geometry." Annals of Mathematics and Artificial Intelligence 85, no. 2-4 (2019): 119-146. https://doi.org/10.1007/s10472-018-9598-6.

MLA (9th ed.) Citation

Nikolic, Mladen, et al. "Portfolio Theorem Proving and Prover Runtime Prediction for Geometry." Annals of Mathematics and Artificial Intelligence, vol. 85, no. 2-4, 2019, pp. 119-146, https://doi.org/10.1007/s10472-018-9598-6.