APA (7th ed.) Citation

Harrison-Trainor, M., Brattka, V., Downey, R., Knight, J. F., & Lempp, S. (2019). A first-order theory of Ulm type. Computability, 8(3/4), 347. https://doi.org/10.3233/COM-180099

Chicago Style (17th ed.) Citation

Harrison-Trainor, Matthew, Vasco Brattka, Rod Downey, Julia F. Knight, and Steffen Lempp. "A First-order Theory of Ulm Type." Computability 8, no. 3/4 (2019): 347. https://doi.org/10.3233/COM-180099.

MLA (9th ed.) Citation

Harrison-Trainor, Matthew, et al. "A First-order Theory of Ulm Type." Computability, vol. 8, no. 3/4, 2019, p. 347, https://doi.org/10.3233/COM-180099.