@inproceedings{DBLP:conf/lpnmr/BomansonGJKS15, title = {Answer Set Programming Modulo Acyclicity}, author = {Bomanson, Jori and Gebser, Martin and Janhunen, Tomi and Kaufmann, Benjamin and Schaub, Torsten}, booktitle = {{LPNMR}}, pages = {143--150}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {9345}, year = {2015} }