APA (7th ed.) Citation

Cate, B. t., & Comer, J. (2023). Craig Interpolation for Decidable First-Order Fragments.

Chicago Style (17th ed.) Citation

Cate, Balder ten, and Jesse Comer. Craig Interpolation for Decidable First-Order Fragments. 2023.

MLA (9th ed.) Citation

Cate, Balder ten, and Jesse Comer. Craig Interpolation for Decidable First-Order Fragments. 2023.

Warning: These citations may not always be 100% accurate.