APA (7th ed.) Citation

Thakkar, A., Sands, N., Petrou, G., Alur, R., Naik, M., & Raghothaman, M. (2023). Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates. Proceedings of ACM on programming languages, 7(OOPSLA2), 1394-1417. https://doi.org/10.1145/3622847

Chicago Style (17th ed.) Citation

Thakkar, Aalok, Nathaniel Sands, George Petrou, Rajeev Alur, Mayur Naik, and Mukund Raghothaman. "Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates." Proceedings of ACM on Programming Languages 7, no. OOPSLA2 (2023): 1394-1417. https://doi.org/10.1145/3622847.

MLA (9th ed.) Citation

Thakkar, Aalok, et al. "Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates." Proceedings of ACM on Programming Languages, vol. 7, no. OOPSLA2, 2023, pp. 1394-1417, https://doi.org/10.1145/3622847.