A Constructive Semantic Characterization of Aggregates in ASP

Open in new window