Ordered Completion for Logic Programs with Aggregates

Open in new window