APA (7th ed.) Citation

Toledo, G. V., Zohar, Y., & Barrett, C. (2026). Combining Combination Properties, Part I: Nelson-Oppen and Politeness. Journal of Automated Reasoning, 70(1), 1. https://doi.org/10.1007/s10817-025-09746-5

Chicago Style (17th ed.) Citation

Toledo, Guilherme V., Yoni Zohar, and Clark Barrett. "Combining Combination Properties, Part I: Nelson-Oppen and Politeness." Journal of Automated Reasoning 70, no. 1 (2026): 1. https://doi.org/10.1007/s10817-025-09746-5.

MLA (9th ed.) Citation

Toledo, Guilherme V., et al. "Combining Combination Properties, Part I: Nelson-Oppen and Politeness." Journal of Automated Reasoning, vol. 70, no. 1, 2026, p. 1, https://doi.org/10.1007/s10817-025-09746-5.