Aalok Thakkar, Nathaniel Sands, George Petrou, Rajeev Alur, Mayur Naik, Mukund Raghothaman. Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates. Proceedings of the ACM on Programming Languages, 7(OOPSLA2):1394-1417, October 2023. [doi]
No references recorded for this publication.
No citations of this publication recorded.