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