@inproceedings{DBLP:conf/ecai/GebserJR14,
  title = {Answer Set Programming as {SAT} modulo Acyclicity},
  author = {Gebser, Martin and Janhunen, Tomi and Rintanen, Jussi},
  booktitle = {{ECAI}},
  pages = {351--356},
  publisher = {{IOS} Press},
  series = {Frontiers in Artificial Intelligence and Applications},
  volume = {263},
  year = {2014}
}