@article{TEMP:journals/lac/GebserJR16,
  author = {Gebser, Martin and Janhunen, Tomi and Rintanen, Jussi},
  title = {Declarative Encodings of Acyclicity Properties},
  journal = {Journal of Logic and Computation},
  year = {2016}
}