APA (7th ed.) Citation

PurgaŁ, S., Parsert, J., & Kaliszyk, C. (2021). study of continuous vector representations for theorem proving. Journal of Logic & Computation, 31(8), 2057. https://doi.org/10.1093/logcom/exab006

Chicago Style (17th ed.) Citation

PurgaŁ, StanisŁaw, Julian Parsert, and Cezary Kaliszyk. "Study of Continuous Vector Representations for Theorem Proving." Journal of Logic & Computation 31, no. 8 (2021): 2057. https://doi.org/10.1093/logcom/exab006.

MLA (9th ed.) Citation

PurgaŁ, StanisŁaw, et al. "Study of Continuous Vector Representations for Theorem Proving." Journal of Logic & Computation, vol. 31, no. 8, 2021, p. 2057, https://doi.org/10.1093/logcom/exab006.