@Article{	  eifikrre12a,
  author	= "T. Eiter and M. Fink and T. Krennwallner and C. Redl",
  title		= "Conflict-driven {ASP} solving with external sources",
  journal	= tplp,
  volume	= 12,
  number	= "4-5",
  year		= 2012,
  pages		= "659-679"
}

{"_id":"yr646WPJszkqn48yP","bibbaseid":"eiter-fink-krennwallner-redl-conflictdrivenaspsolvingwithexternalsources-2012","downloads":0,"creationDate":"2016-08-22T10:51:33.904Z","title":"Conflict-driven ASP solving with external sources","author_short":["Eiter, T.","Fink, M.","Krennwallner, T.","Redl, C."],"year":2012,"bibtype":"article","biburl":"http://www.cs.uni-potsdam.de/~torsten/tmp/tmp.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["T."],"propositions":[],"lastnames":["Eiter"],"suffixes":[]},{"firstnames":["M."],"propositions":[],"lastnames":["Fink"],"suffixes":[]},{"firstnames":["T."],"propositions":[],"lastnames":["Krennwallner"],"suffixes":[]},{"firstnames":["C."],"propositions":[],"lastnames":["Redl"],"suffixes":[]}],"title":"Conflict-driven ASP solving with external sources","journal":"Theory and Practice of Logic Programming","volume":"12","number":"4-5","year":"2012","pages":"659-679","bibtex":"@Article{\t eifikrre12a,\n author\t= \"T. Eiter and M. Fink and T. Krennwallner and C. Redl\",\n title\t\t= \"Conflict-driven {ASP} solving with external sources\",\n journal\t= tplp,\n volume\t= 12,\n number\t= \"4-5\",\n year\t\t= 2012,\n pages\t\t= \"659-679\"\n}\n\n","author_short":["Eiter, T.","Fink, M.","Krennwallner, T.","Redl, C."],"key":"eifikrre12a","id":"eifikrre12a","bibbaseid":"eiter-fink-krennwallner-redl-conflictdrivenaspsolvingwithexternalsources-2012","role":"author","urls":{},"downloads":0},"search_terms":["conflict","driven","asp","solving","external","sources","eiter","fink","krennwallner","redl"],"keywords":[],"authorIDs":[],"dataSources":["9j2A2CHeS829AvBXf"]}