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