@misc{indiciae97b80e6432f9,
  title = {Symmetry in Software Synthesis},
  author = {Andrés Goens and Sergio Siccha and Jeronimo Castrillon},
  year = {2017},
  doi = {10.1145/3095747},
  url = {https://arxiv.org/abs/1704.06623},
  note = {Source identifier: 1704.06623}
}