Declarative Debugging for Datalog with Aggregation. | AMiner