@article{
 title = {Program synthesis for generalized planning},
 type = {article},
 year = {2018},
 keywords = {62,Automated programming,Classical planning,Generalized planning,Program synthesis,info:eu-repo/semantics/publishedVersion},
 websites = {http://www.tdx.cat/handle/10803/663753},
 month = {10},
 publisher = {Universitat Pompeu Fabra},
 day = {5},
 id = {777b5c2c-4184-39b7-8b03-36e7b10b3a3d},
 created = {2019-05-29T08:55:18.727Z},
 accessed = {2019-05-29},
 file_attached = {true},
 profile_id = {de5765e4-e253-3166-8178-333c824974ba},
 last_modified = {2019-07-24T12:34:58.388Z},
 read = {false},
 starred = {false},
 authored = {true},
 confirmed = {false},
 hidden = {false},
 private_publication = {false},
 bibtype = {article},
 author = {Segovia-Aguas, Javier},
 journal = {TDX (Tesis Doctorals en Xarxa)}
}

{"_id":"SEB5WLMtpfAfXrsGZ","bibbaseid":"segoviaaguas-programsynthesisforgeneralizedplanning-2018","authorIDs":["4DtQT7tFz6pLwiLbp","5d2f21fb733192da010000c8","5d38502825c85eda01000008","5de8ba303cfb74df01000161","5e0d9f67675bf1de01000076","5e0f1baa96e707df01000019","5e25cb79f299d4de01000180","5e3925a97f8bf3f3010000e4","5e5ce517d12a0ade0100002b","5e648c35e89ef4df010000a0","Dd6hHHCevs3QQRaEt","FTNon9AQoictcZDHJ","iHR8n37fSReKFExP4"],"author_short":["Segovia-Aguas, J."],"bibdata":{"title":"Program synthesis for generalized planning","type":"article","year":"2018","keywords":"62,Automated programming,Classical planning,Generalized planning,Program synthesis,info:eu-repo/semantics/publishedVersion","websites":"http://www.tdx.cat/handle/10803/663753","month":"10","publisher":"Universitat Pompeu Fabra","day":"5","id":"777b5c2c-4184-39b7-8b03-36e7b10b3a3d","created":"2019-05-29T08:55:18.727Z","accessed":"2019-05-29","file_attached":"true","profile_id":"de5765e4-e253-3166-8178-333c824974ba","last_modified":"2019-07-24T12:34:58.388Z","read":false,"starred":false,"authored":"true","confirmed":false,"hidden":false,"private_publication":false,"bibtype":"article","author":"Segovia-Aguas, Javier","journal":"TDX (Tesis Doctorals en Xarxa)","bibtex":"@article{\n title = {Program synthesis for generalized planning},\n type = {article},\n year = {2018},\n keywords = {62,Automated programming,Classical planning,Generalized planning,Program synthesis,info:eu-repo/semantics/publishedVersion},\n websites = {http://www.tdx.cat/handle/10803/663753},\n month = {10},\n publisher = {Universitat Pompeu Fabra},\n day = {5},\n id = {777b5c2c-4184-39b7-8b03-36e7b10b3a3d},\n created = {2019-05-29T08:55:18.727Z},\n accessed = {2019-05-29},\n file_attached = {true},\n profile_id = {de5765e4-e253-3166-8178-333c824974ba},\n last_modified = {2019-07-24T12:34:58.388Z},\n read = {false},\n starred = {false},\n authored = {true},\n confirmed = {false},\n hidden = {false},\n private_publication = {false},\n bibtype = {article},\n author = {Segovia-Aguas, Javier},\n journal = {TDX (Tesis Doctorals en Xarxa)}\n}","author_short":["Segovia-Aguas, J."],"urls":{"Paper":"https://bibbase.org/service/mendeley/de5765e4-e253-3166-8178-333c824974ba/file/4db52d4e-e6e5-e4e9-23b4-d3fc9306bcf7/full_text.pdf.pdf","Website":"http://www.tdx.cat/handle/10803/663753"},"biburl":"https://bibbase.org/service/mendeley/de5765e4-e253-3166-8178-333c824974ba","bibbaseid":"segoviaaguas-programsynthesisforgeneralizedplanning-2018","role":"author","keyword":["62","Automated programming","Classical planning","Generalized planning","Program synthesis","info:eu-repo/semantics/publishedVersion"],"metadata":{"authorlinks":{"segovia-aguas, j":"https://jsego.github.io/"}}},"bibtype":"article","creationDate":"2019-07-17T13:26:19.828Z","downloads":8,"keywords":["62","automated programming","classical planning","generalized planning","program synthesis","info:eu-repo/semantics/publishedversion"],"search_terms":["program","synthesis","generalized","planning","segovia-aguas"],"title":"Program synthesis for generalized planning","year":2018,"biburl":"https://bibbase.org/service/mendeley/de5765e4-e253-3166-8178-333c824974ba","dataSources":["fwEjazZvTYA4Zivbd","ya2CyA73rpZseyrZ8"]}