@article{GebserJanhunenRintanen2020,
  author    = {Martin Gebser and Tomi Janhunen and Jussi Rintanen},
  title     = {Declarative encodings of acyclicity properties},
  journal   = {Journal of logic and computation},
  volume    = {30},
  number    = {4},
  pages     = {923 -- 952},
  doi       = {10.1093/logcom/exv063},
  year      = {2020},
}