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