LARA

Omega-Continuity of the Collecting Semantics Operator