TY  - RPRT
TI  - Logic programs with propositional connectives and aggregates
AU  - Paolo Ferraris
PY  - 2008
UR  - https://arxiv.org/abs/0812.1462
ID  - 0812.1462
ER  -