@article{DBLP:journals/corr/abs-1304-4303,
  author       = {Azza Abouzied and
                  Dana Angluin and
                  Christos H. Papadimitriou and
                  Joseph M. Hellerstein and
                  Avi Silberschatz},
  title        = {Learning and Verifying Quantified Boolean Queries by Example},
  journal      = {CoRR},
  volume       = {abs/1304.4303},
  year         = {2013},
  url          = {http://arxiv.org/abs/1304.4303},
  eprinttype    = {arXiv},
  eprint       = {1304.4303},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1304-4303.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"TnEziPFYGnDSwcBc2","bibbaseid":"abouzied-angluin-papadimitriou-hellerstein-silberschatz-learningandverifyingquantifiedbooleanqueriesbyexample-2013","author_short":["Abouzied, A.","Angluin, D.","Papadimitriou, C. H.","Hellerstein, J. M.","Silberschatz, A."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Azza"],"propositions":[],"lastnames":["Abouzied"],"suffixes":[]},{"firstnames":["Dana"],"propositions":[],"lastnames":["Angluin"],"suffixes":[]},{"firstnames":["Christos","H."],"propositions":[],"lastnames":["Papadimitriou"],"suffixes":[]},{"firstnames":["Joseph","M."],"propositions":[],"lastnames":["Hellerstein"],"suffixes":[]},{"firstnames":["Avi"],"propositions":[],"lastnames":["Silberschatz"],"suffixes":[]}],"title":"Learning and Verifying Quantified Boolean Queries by Example","journal":"CoRR","volume":"abs/1304.4303","year":"2013","url":"http://arxiv.org/abs/1304.4303","eprinttype":"arXiv","eprint":"1304.4303","timestamp":"Mon, 13 Aug 2018 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/corr/abs-1304-4303.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/corr/abs-1304-4303,\n author = {Azza Abouzied and\n Dana Angluin and\n Christos H. Papadimitriou and\n Joseph M. Hellerstein and\n Avi Silberschatz},\n title = {Learning and Verifying Quantified Boolean Queries by Example},\n journal = {CoRR},\n volume = {abs/1304.4303},\n year = {2013},\n url = {http://arxiv.org/abs/1304.4303},\n eprinttype = {arXiv},\n eprint = {1304.4303},\n timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/corr/abs-1304-4303.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Abouzied, A.","Angluin, D.","Papadimitriou, C. H.","Hellerstein, J. M.","Silberschatz, A."],"key":"DBLP:journals/corr/abs-1304-4303","id":"DBLP:journals/corr/abs-1304-4303","bibbaseid":"abouzied-angluin-papadimitriou-hellerstein-silberschatz-learningandverifyingquantifiedbooleanqueriesbyexample-2013","role":"author","urls":{"Paper":"http://arxiv.org/abs/1304.4303"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://dblp.org/pers/tb2/h/Hellerstein:Joseph_M=","dataSources":["3SG8d6TqWdLKqttYB"],"keywords":[],"search_terms":["learning","verifying","quantified","boolean","queries","example","abouzied","angluin","papadimitriou","hellerstein","silberschatz"],"title":"Learning and Verifying Quantified Boolean Queries by Example","year":2013}