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