@article{DBLP:journals/fuin/BomansonGJKS16, author = {Bomanson, Jori and Gebser, Martin and Janhunen, Tomi and Kaufmann, Benjamin and Schaub, Torsten}, title = {Answer Set Programming Modulo Acyclicity}, journal = {Fundam. Inform.}, volume = {147}, number = {1}, pages = {63--91}, year = {2016} }