@article{DBLP:journals/logcom/GebserJR20, author = {Gebser, Martin and Janhunen, Tomi and Rintanen, Jussi}, title = {Declarative encodings of acyclicity properties}, journal = {J. Log. Comput.}, volume = {30}, number = {4}, pages = {923--952}, year = {2020} }