@article{BomansonJanhunenSchaubetal.2016,
  author    = {Jori Bomanson and Tomi Janhunen and Torsten H. Schaub and Martin Gebser and Benjamin Kaufmann},
  title     = {Answer Set Programming Modulo Acyclicity},
  journal   = {Fundamenta informaticae},
  volume    = {147},
  pages     = {63 -- 91},
  doi       = {10.3233/FI-2016-1398},
  year      = {2016},
}