APA (7th ed.) Citation

Steen, A., & Benzmüller, C. (2021). Extensional Higher-Order Paramodulation in Leo-III. Journal of Automated Reasoning, 65(6), 775. https://doi.org/10.1007/s10817-021-09588-x

Chicago Style (17th ed.) Citation

Steen, Alexander, and Christoph Benzmüller. "Extensional Higher-Order Paramodulation in Leo-III." Journal of Automated Reasoning 65, no. 6 (2021): 775. https://doi.org/10.1007/s10817-021-09588-x.

MLA (9th ed.) Citation

Steen, Alexander, and Christoph Benzmüller. "Extensional Higher-Order Paramodulation in Leo-III." Journal of Automated Reasoning, vol. 65, no. 6, 2021, p. 775, https://doi.org/10.1007/s10817-021-09588-x.