@inproceedings{DBLP:conf/kr/GebserJR14,
  title = {{ASP} Encodings of Acyclicity Properties},
  author = {Gebser, Martin and Janhunen, Tomi and Rintanen, Jussi},
  booktitle = {{KR}},
  publisher = {{AAAI} Press},
  year = {2014}
}