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