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
Citace podle Chicago (17th ed.)Thakkar, Aalok, Nathaniel Sands, George Petrou, Rajeev Alur, Mayur Naik, a 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.
Citace podle MLA (9th ed.)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.