Logic programs with propositional connectives and aggregates

Open in new window