APA (7th ed.) Citation

Mohamed, M., Reynolds, A., Tinelli, C., & Barrett, C. (2024). Verifying SQL Queries using Theories of Tables and Relations.

Chicago Style (17th ed.) Citation

Mohamed, Mudathir, Andrew Reynolds, Cesare Tinelli, and Clark Barrett. Verifying SQL Queries Using Theories of Tables and Relations. 2024.

MLA (9th ed.) Citation

Mohamed, Mudathir, et al. Verifying SQL Queries Using Theories of Tables and Relations. 2024.