TY  - RPRT
TI  - Extending the Stable Model Semantics with More Expressive Rules
AU  - Patrik Simons
PY  - 1999
UR  - https://arxiv.org/abs/cs/9908004
ID  - cs/9908004
ER  -