Cita APA (7a ed.)

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

Cita Chicago Style (17a ed.)

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

Cita MLA (9a ed.)

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