TY  - RPRT
TI  - Logic programs with monotone abstract constraint atoms
AU  - V. W. Marek
AU  - I. Niemela
AU  - M. Truszczynski]
PY  - 2006
UR  - https://arxiv.org/abs/cs/0608103
ID  - cs/0608103
ER  -