Complexity and Compilation of GZ-Aggregates in Answer Set Programming

Open in new window