TY  - RPRT
TI  - Abstract Learning Frameworks for Synthesis
AU  - Christof Löding
AU  - P. Madhusudan
AU  - Daniel Neider
PY  - 2016
UR  - https://arxiv.org/abs/1507.05612
ID  - 1507.05612
ER  -