Complexity results for answer set programming with bounded predicate arities and implications

From MaRDI portal