TY  - RPRT
TI  - Polynomial-Time Proactive Synthesis of Tree-to-String Functions from Examples
AU  - Mikaël Mayer
AU  - Jad Hamza
AU  - Viktor Kuncak
PY  - 2017
UR  - https://arxiv.org/abs/1701.04288
ID  - 1701.04288
ER  -