TY  - RPRT
TI  - Logic programs with monotone cardinality atoms
AU  - Victor W. Marek
AU  - Ilkka Niemela
AU  - Miroslaw Truszczynski
PY  - 2003
UR  - https://arxiv.org/abs/cs/0310063
ID  - cs/0310063
ER  -