TY  - RPRT
TI  - Language to Specify Syntax-Guided Synthesis Problems
AU  - Mukund Raghothaman
AU  - Abhishek Udupa
PY  - 2016
UR  - https://arxiv.org/abs/1405.5590
ID  - 1405.5590
ER  -