@misc{indiciaed888d0568c93,
  title = {Polynomial-Time Proactive Synthesis of Tree-to-String Functions from Examples},
  author = {Mikaël Mayer and Jad Hamza and Viktor Kuncak},
  year = {2017},
  url = {https://arxiv.org/abs/1701.04288},
  note = {Source identifier: 1701.04288}
}