The following pages link to Complexity results for answer set programming with bounded predicate arities and implications (Q2426101):
Displayed 1 item.