Recursive rules with aggregation: a simple unified semantics

Yanhong A Liu, Scott D. Stoller. Recursive rules with aggregation: a simple unified semantics. Journal of Logic and Computation, 32(8):1659-1693, 2022. [doi]

Abstract

Abstract is missing.