Report a problem with

Logic programs with propositional connectives and aggregates


Explain the problem: