Knowledge Processing and Information Systems ASP Encodings of Acyclicity Properties
@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}
}