TY  - RPRT
TI  - Characterizations of Stable Model Semantics for Logic Programs with Arbitrary Constraint Atoms
AU  - Yi-Dong Shen
AU  - Jia-Huai You
AU  - Li-Yan Yuan
PY  - 2009
UR  - https://arxiv.org/abs/0904.4727
ID  - 0904.4727
ER  -