@InProceedings{	  bogejakasc15a,
  author	= "J. Bomanson and M. Gebser and T. Janhunen and B. Kaufmann
		  and T. Schaub",
  title		= "Answer Set Programming Modulo Acyclicity",
  crossref	= "lpnmr15",
  pages		= "143-150"
}

{"_id":"B3vznQBhGaADFqCoJ","bibbaseid":"bomanson-gebser-janhunen-kaufmann-schaub-answersetprogrammingmoduloacyclicity","downloads":0,"creationDate":"2016-08-22T10:51:33.947Z","title":"Answer Set Programming Modulo Acyclicity","author_short":["Bomanson, J.","Gebser, M.","Janhunen, T.","Kaufmann, B.","Schaub, T."],"year":null,"bibtype":"inproceedings","biburl":"http://www.cs.uni-potsdam.de/~torsten/tmp/tmp.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["J."],"propositions":[],"lastnames":["Bomanson"],"suffixes":[]},{"firstnames":["M."],"propositions":[],"lastnames":["Gebser"],"suffixes":[]},{"firstnames":["T."],"propositions":[],"lastnames":["Janhunen"],"suffixes":[]},{"firstnames":["B."],"propositions":[],"lastnames":["Kaufmann"],"suffixes":[]},{"firstnames":["T."],"propositions":[],"lastnames":["Schaub"],"suffixes":[]}],"title":"Answer Set Programming Modulo Acyclicity","crossref":"lpnmr15","pages":"143-150","bibtex":"@InProceedings{\t bogejakasc15a,\n author\t= \"J. Bomanson and M. Gebser and T. Janhunen and B. Kaufmann\n\t\t and T. Schaub\",\n title\t\t= \"Answer Set Programming Modulo Acyclicity\",\n crossref\t= \"lpnmr15\",\n pages\t\t= \"143-150\"\n}\n\n","author_short":["Bomanson, J.","Gebser, M.","Janhunen, T.","Kaufmann, B.","Schaub, T."],"key":"bogejakasc15a","id":"bogejakasc15a","bibbaseid":"bomanson-gebser-janhunen-kaufmann-schaub-answersetprogrammingmoduloacyclicity","role":"author","urls":{},"downloads":0},"search_terms":["answer","set","programming","modulo","acyclicity","bomanson","gebser","janhunen","kaufmann","schaub"],"keywords":[],"authorIDs":[],"dataSources":["9j2A2CHeS829AvBXf"]}