Constructing Expressive Relational Queries with Dual-Specification Synthesis

Published in CIDR 2020 2020