An ASP semantics for Constraints involving Conditional Aggregates

Open in new window