APA (7th ed.) Citation

Benedikt, M., Pradic, C., & Wernhard, C. (2022). Synthesizing nested relational queries from implicit specifications: Via model theory and via proof theory.

Chicago Style (17th ed.) Citation

Benedikt, Michael, Cécilia Pradic, and Christoph Wernhard. Synthesizing Nested Relational Queries from Implicit Specifications: Via Model Theory and via Proof Theory. 2022.

MLA (9th ed.) Citation

Benedikt, Michael, et al. Synthesizing Nested Relational Queries from Implicit Specifications: Via Model Theory and via Proof Theory. 2022.