Andrés Goens, Sergio Siccha, Jerónimo Castrillón. Symmetry in Software Synthesis. TACO, 14(2), 2017. [doi]
@article{GoensSC17, title = {Symmetry in Software Synthesis}, author = {Andrés Goens and Sergio Siccha and Jerónimo Castrillón}, year = {2017}, doi = {10.1145/3095747}, url = {http://doi.acm.org/10.1145/3095747}, researchr = {https://researchr.org/publication/GoensSC17}, cites = {0}, citedby = {0}, journal = {TACO}, volume = {14}, number = {2}, }