APA (7th ed.) Citation

Alama, J., Heskes, T., Kühlwein, D., Tsivtsivadze, E., & Urban, J. (2014). Premise Selection for Mathematics by Corpus Analysis and Kernel Methods. Journal of automated reasoning, 52(2), 191-213. https://doi.org/10.1007/s10817-013-9286-5

Chicago Style (17th ed.) Citation

Alama, Jesse, Tom Heskes, Daniel Kühlwein, Evgeni Tsivtsivadze, and Josef Urban. "Premise Selection for Mathematics by Corpus Analysis and Kernel Methods." Journal of Automated Reasoning 52, no. 2 (2014): 191-213. https://doi.org/10.1007/s10817-013-9286-5.

MLA (9th ed.) Citation

Alama, Jesse, et al. "Premise Selection for Mathematics by Corpus Analysis and Kernel Methods." Journal of Automated Reasoning, vol. 52, no. 2, 2014, pp. 191-213, https://doi.org/10.1007/s10817-013-9286-5.