@inproceedings{DBLP:conf/jelia/GebserJR14,
  title = {{SAT} Modulo Graphs: Acyclicity},
  author = {Gebser, Martin and Janhunen, Tomi and Rintanen, Jussi},
  booktitle = {{JELIA}},
  pages = {137--151},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {8761},
  year = {2014}
}