Knowledge Processing and Information Systems Declarative Encodings of Acyclicity Properties
@article{TEMP:journals/lac/GebserJR16,
title = {Declarative Encodings of Acyclicity Properties},
author = {Gebser, Martin and Janhunen, Tomi and Rintanen, Jussi},
journal = {Journal of Logic and Computation},
year = {2016}
}