@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"
}