@article{journals/corr/GebserKKS17,
  added-at = {2017-06-02T00:00:00.000+0200},
  author = {Gebser, Martin and Kaminski, Roland and Kaufmann, Benjamin and Schaub, Torsten},
  biburl = {http://www.bibsonomy.org/bibtex/24f13447e4d434927526be6e1a5fed77a/dblp},
  ee = {http://arxiv.org/abs/1705.09811},
  interhash = {efec967699236ad9b881c4f73da60df6},
  intrahash = {4f13447e4d434927526be6e1a5fed77a},
  journal = {CoRR},
  keywords = {dblp},
  timestamp = {2017-06-03T11:36:14.000+0200},
  title = {Multi-shot ASP solving with clingo.},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr1705.html#GebserKKS17},
  volume = {abs/1705.09811},
  year = 2017
}

{"_id":"pgNC38vpXxomrfAsu","bibbaseid":"gebser-kaminski-kaufmann-schaub-multishotaspsolvingwithclingo-2017","downloads":0,"creationDate":"2017-07-23T20:40:31.279Z","title":"Multi-shot ASP solving with clingo.","author_short":["Gebser, M.","Kaminski, R.","Kaufmann, B.","Schaub, T."],"year":2017,"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/kaminski?items=1000","bibdata":{"bibtype":"article","type":"article","added-at":"2017-06-02T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Gebser"],"firstnames":["Martin"],"suffixes":[]},{"propositions":[],"lastnames":["Kaminski"],"firstnames":["Roland"],"suffixes":[]},{"propositions":[],"lastnames":["Kaufmann"],"firstnames":["Benjamin"],"suffixes":[]},{"propositions":[],"lastnames":["Schaub"],"firstnames":["Torsten"],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/24f13447e4d434927526be6e1a5fed77a/dblp","ee":"http://arxiv.org/abs/1705.09811","interhash":"efec967699236ad9b881c4f73da60df6","intrahash":"4f13447e4d434927526be6e1a5fed77a","journal":"CoRR","keywords":"dblp","timestamp":"2017-06-03T11:36:14.000+0200","title":"Multi-shot ASP solving with clingo.","url":"http://dblp.uni-trier.de/db/journals/corr/corr1705.html#GebserKKS17","volume":"abs/1705.09811","year":"2017","bibtex":"@article{journals/corr/GebserKKS17,\n added-at = {2017-06-02T00:00:00.000+0200},\n author = {Gebser, Martin and Kaminski, Roland and Kaufmann, Benjamin and Schaub, Torsten},\n biburl = {http://www.bibsonomy.org/bibtex/24f13447e4d434927526be6e1a5fed77a/dblp},\n ee = {http://arxiv.org/abs/1705.09811},\n interhash = {efec967699236ad9b881c4f73da60df6},\n intrahash = {4f13447e4d434927526be6e1a5fed77a},\n journal = {CoRR},\n keywords = {dblp},\n timestamp = {2017-06-03T11:36:14.000+0200},\n title = {Multi-shot ASP solving with clingo.},\n url = {http://dblp.uni-trier.de/db/journals/corr/corr1705.html#GebserKKS17},\n volume = {abs/1705.09811},\n year = 2017\n}\n\n","author_short":["Gebser, M.","Kaminski, R.","Kaufmann, B.","Schaub, T."],"key":"journals/corr/GebserKKS17","id":"journals/corr/GebserKKS17","bibbaseid":"gebser-kaminski-kaufmann-schaub-multishotaspsolvingwithclingo-2017","role":"author","urls":{"Link":"http://arxiv.org/abs/1705.09811","Paper":"http://dblp.uni-trier.de/db/journals/corr/corr1705.html#GebserKKS17"},"keyword":["dblp"],"downloads":0},"search_terms":["multi","shot","asp","solving","clingo","gebser","kaminski","kaufmann","schaub"],"keywords":["dblp"],"authorIDs":[],"dataSources":["ePTwKNCLFT28DzR9b"]}