Aggregate Semantics for Propositional Answer Set Programs