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