TY  - RPRT
TI  - Computing minimal models, stable models and answer sets
AU  - Z. Lonc
AU  - M. Truszczynski
PY  - 2005
UR  - https://arxiv.org/abs/cs/0506104
ID  - cs/0506104
ER  -