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