APA (7th ed.) Citation

Chaudhuri, K., Gantait, A., & Miller, D. (2026). Automating proof search when equality is a logical connective.

Chicago Style (17th ed.) Citation

Chaudhuri, Kaustuv, Arunava Gantait, and Dale Miller. Automating Proof Search When Equality Is a Logical Connective. 2026.

MLA (9th ed.) Citation

Chaudhuri, Kaustuv, et al. Automating Proof Search When Equality Is a Logical Connective. 2026.