APA (7th ed.) Citation

Gauthier, T., Kaliszyk, C., Urban, J., Kumar, R., & Norrish, M. (2021). TacticToe: Learning to Prove with Tactics. Journal of Automated Reasoning, 65(2), 257. https://doi.org/10.1007/s10817-020-09580-x

Chicago Style (17th ed.) Citation

Gauthier, Thibault, Cezary Kaliszyk, Josef Urban, Ramana Kumar, and Michael Norrish. "TacticToe: Learning to Prove with Tactics." Journal of Automated Reasoning 65, no. 2 (2021): 257. https://doi.org/10.1007/s10817-020-09580-x.

MLA (9th ed.) Citation

Gauthier, Thibault, et al. "TacticToe: Learning to Prove with Tactics." Journal of Automated Reasoning, vol. 65, no. 2, 2021, p. 257, https://doi.org/10.1007/s10817-020-09580-x.