@inproceedings{TEMP:conf/lpnmr/GebserJKST14,
  author = {Gebser, Martin and Janhunen, Tomi and Kaminski, Roland and Schaub, Torsten and Tasharrofi, Shahab},
  title = {Declarative Encodings of Acyclicity Properties},
  booktitle = {ASPOCP@LPNMR},
  year = {2014}
}