@InProceedings{	  jalini11a,
  author	= "T. Janhunen and G. Liu and I. Niemelä",
  title		= "Tight Integration of Non-Ground Answer Set Programming and
		  Satisfiability Modulo Theories",
  crossref	= "gttv11",
  pages		= "1-13"
}

{"_id":"PSKwMPLPvK5bcRaro","bibbaseid":"janhunen-liu-niemel-tightintegrationofnongroundanswersetprogrammingandsatisfiabilitymodulotheories","downloads":0,"creationDate":"2016-08-22T10:51:33.923Z","title":"Tight Integration of Non-Ground Answer Set Programming and Satisfiability Modulo Theories","author_short":["Janhunen, T.","Liu, G.","Niemelä, I."],"year":null,"bibtype":"inproceedings","biburl":"http://www.cs.uni-potsdam.de/~torsten/tmp/tmp.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["T."],"propositions":[],"lastnames":["Janhunen"],"suffixes":[]},{"firstnames":["G."],"propositions":[],"lastnames":["Liu"],"suffixes":[]},{"firstnames":["I."],"propositions":[],"lastnames":["Niemelä"],"suffixes":[]}],"title":"Tight Integration of Non-Ground Answer Set Programming and Satisfiability Modulo Theories","crossref":"gttv11","pages":"1-13","bibtex":"@InProceedings{\t jalini11a,\n author\t= \"T. Janhunen and G. Liu and I. Niemelä\",\n title\t\t= \"Tight Integration of Non-Ground Answer Set Programming and\n\t\t Satisfiability Modulo Theories\",\n crossref\t= \"gttv11\",\n pages\t\t= \"1-13\"\n}\n\n","author_short":["Janhunen, T.","Liu, G.","Niemelä, I."],"key":"jalini11a","id":"jalini11a","bibbaseid":"janhunen-liu-niemel-tightintegrationofnongroundanswersetprogrammingandsatisfiabilitymodulotheories","role":"author","urls":{},"downloads":0},"search_terms":["tight","integration","non","ground","answer","set","programming","satisfiability","modulo","theories","janhunen","liu","niemelä"],"keywords":[],"authorIDs":[],"dataSources":["9j2A2CHeS829AvBXf"]}