APA (7th ed.) Citation

Kaufmann, M., & Moore, J. S. (2020). Limited Second-Order Functionality in a First-Order Setting. Journal of Automated Reasoning, 64(3), 391. https://doi.org/10.1007/s10817-018-09505-9

Chicago Style (17th ed.) Citation

Kaufmann, Matt, and J Strother Moore. "Limited Second-Order Functionality in a First-Order Setting." Journal of Automated Reasoning 64, no. 3 (2020): 391. https://doi.org/10.1007/s10817-018-09505-9.

MLA (9th ed.) Citation

Kaufmann, Matt, and J Strother Moore. "Limited Second-Order Functionality in a First-Order Setting." Journal of Automated Reasoning, vol. 64, no. 3, 2020, p. 391, https://doi.org/10.1007/s10817-018-09505-9.