Thomas Eiter, Wolfgang Faber, Michael Fink, Gerald Pfeifer, Stefan Woltran
Complexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set Programming
KR, 2004.
@inproceedings{KR-2004-EiterFFPW,
author = "Thomas Eiter and Wolfgang Faber and Michael Fink and Gerald Pfeifer and Stefan Woltran",
booktitle = "{Proceedings of the Ninth International Conference on Principles of Knowledge Representation and Reasoning}",
ee = "http://www.aaai.org/Library/KR/2004/kr04-040.php",
isbn = "1-57735-199-1",
pages = "377--387",
publisher = "{AAAI Press}",
title = "{Complexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set Programming}",
year = 2004,
}