TY  - RPRT
TI  - Characterising equilibrium logic and nested logic programs: Reductions and complexity
AU  - David Pearce
AU  - Hans Tompits
AU  - Stefan Woltran
PY  - 2009
DO  - 10.1017/s147106840999010x
UR  - https://arxiv.org/abs/0906.2228
ID  - 0906.2228
ER  -