@misc{indiciae8afa2ff32062,
  title = {Good-Enough Synthesis},
  author = {Shaull Almagor and Orna Kupferman},
  year = {2021},
  doi = {10.1007/978-3-030-53291-8\textbackslash{}\_28},
  url = {https://arxiv.org/abs/2109.03594},
  note = {Source identifier: 2109.03594}
}