Complexity of Answer Set Checking and Bounded Predicate Arities for Non-ground Answer Set Programming.
['Thomas Eiter', 'Wolfgang Faber', 'Michael Fink', 'Gerald Pfeifer', 'Stefan Woltran']
Complexity of Answer Set Checking and Bounded Predicate Arities for Non-ground Answer Set Programming.