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