@article{DBLP:journals/ftpl/GulwaniPS17,
  author       = {Sumit Gulwani and
                  Oleksandr Polozov and
                  Rishabh Singh},
  title        = {Program Synthesis},
  journal      = {Found. Trends Program. Lang.},
  volume       = {4},
  number       = {1-2},
  pages        = {1--119},
  year         = {2017},
  url          = {https://doi.org/10.1561/2500000010},
  doi          = {10.1561/2500000010},
  timestamp    = {Wed, 20 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ftpl/GulwaniPS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"qBGAW7FrFtDfLqM4u","bibbaseid":"gulwani-polozov-singh-programsynthesis-2017","author_short":["Gulwani, S.","Polozov, O.","Singh, R."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Sumit"],"propositions":[],"lastnames":["Gulwani"],"suffixes":[]},{"firstnames":["Oleksandr"],"propositions":[],"lastnames":["Polozov"],"suffixes":[]},{"firstnames":["Rishabh"],"propositions":[],"lastnames":["Singh"],"suffixes":[]}],"title":"Program Synthesis","journal":"Found. Trends Program. Lang.","volume":"4","number":"1-2","pages":"1–119","year":"2017","url":"https://doi.org/10.1561/2500000010","doi":"10.1561/2500000010","timestamp":"Wed, 20 May 2020 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/ftpl/GulwaniPS17.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/ftpl/GulwaniPS17,\n author = {Sumit Gulwani and\n Oleksandr Polozov and\n Rishabh Singh},\n title = {Program Synthesis},\n journal = {Found. Trends Program. Lang.},\n volume = {4},\n number = {1-2},\n pages = {1--119},\n year = {2017},\n url = {https://doi.org/10.1561/2500000010},\n doi = {10.1561/2500000010},\n timestamp = {Wed, 20 May 2020 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/ftpl/GulwaniPS17.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Gulwani, S.","Polozov, O.","Singh, R."],"key":"DBLP:journals/ftpl/GulwaniPS17","id":"DBLP:journals/ftpl/GulwaniPS17","bibbaseid":"gulwani-polozov-singh-programsynthesis-2017","role":"author","urls":{"Paper":"https://doi.org/10.1561/2500000010"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://dblp.org/pid/25/7056.bib","dataSources":["BD7bKLMmjzry4ihss"],"keywords":[],"search_terms":["program","synthesis","gulwani","polozov","singh"],"title":"Program Synthesis","year":2017}