TY  - RPRT
TI  - Symmetry in Software Synthesis
AU  - Andrés Goens
AU  - Sergio Siccha
AU  - Jeronimo Castrillon
PY  - 2017
DO  - 10.1145/3095747
UR  - https://arxiv.org/abs/1704.06623
ID  - 1704.06623
ER  -