@misc{indiciae1664281b7077,
  title = {Proving Unrealizability for Syntax-Guided Synthesis},
  author = {Qinheping Hu and Jason Breck and John Cyphert and Loris D'Antoni and Thomas Reps},
  year = {2019},
  url = {https://arxiv.org/abs/1905.05800},
  note = {Source identifier: 1905.05800}
}