Recursive Rules with Aggregation: A Simple Unified Semantics.

Yanhong A. Liu, Scott D. Stoller

Browse the full LFCS paper archive.