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