APA (7th ed.) Citation

Teodorescu, L. R., & Parent, S. (2025). Local Reasoning Can Help Prove Correctness. Overload, 188, 4.

Chicago Style (17th ed.) Citation

Teodorescu, Lucian Radu, and Sean Parent. "Local Reasoning Can Help Prove Correctness." Overload 188 (2025): 4.

MLA (9th ed.) Citation

Teodorescu, Lucian Radu, and Sean Parent. "Local Reasoning Can Help Prove Correctness." Overload, 188, 2025, p. 4.

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