@misc{indiciae404640000e1b,
  title = {Synthesizing Queries via Interactive Sketching},
  author = {Osbert Bastani and Xin Zhang and Armando Solar-Lezama},
  year = {2021},
  url = {https://arxiv.org/abs/1912.12659},
  note = {Source identifier: 1912.12659}
}