APA (7th ed.) Citation

Kaliszyk, C., & Pąk, K. (2023). Combining Higher-Order Logic with Set Theory Formalizations. Journal of Automated Reasoning, 67(2), 1. https://doi.org/10.1007/s10817-023-09663-5

Chicago Style (17th ed.) Citation

Kaliszyk, Cezary, and Karol Pąk. "Combining Higher-Order Logic with Set Theory Formalizations." Journal of Automated Reasoning 67, no. 2 (2023): 1. https://doi.org/10.1007/s10817-023-09663-5.

MLA (9th ed.) Citation

Kaliszyk, Cezary, and Karol Pąk. "Combining Higher-Order Logic with Set Theory Formalizations." Journal of Automated Reasoning, vol. 67, no. 2, 2023, p. 1, https://doi.org/10.1007/s10817-023-09663-5.