TY  - RPRT
TI  - Expressiveness of Logic Programs under General Stable Model Semantics
AU  - Heng Zhang
AU  - Yan Zhang
PY  - 2014
UR  - https://arxiv.org/abs/1412.0773
ID  - 1412.0773
ER  -