Recursive Rules with Aggregation: A Simple Unified Semantics

Open in new window