APA (7th ed.) Citation

Claessen, K., & Lillieström, A. (2021). Handling Transitive Relations in First-Order Automated Reasoning. Journal of Automated Reasoning, 65(8), 1097. https://doi.org/10.1007/s10817-021-09605-z

Chicago Style (17th ed.) Citation

Claessen, Koen, and Ann Lillieström. "Handling Transitive Relations in First-Order Automated Reasoning." Journal of Automated Reasoning 65, no. 8 (2021): 1097. https://doi.org/10.1007/s10817-021-09605-z.

MLA (9th ed.) Citation

Claessen, Koen, and Ann Lillieström. "Handling Transitive Relations in First-Order Automated Reasoning." Journal of Automated Reasoning, vol. 65, no. 8, 2021, p. 1097, https://doi.org/10.1007/s10817-021-09605-z.