David Pearce Hans Tompits Stefan Woltran Characterising equilibrium logic and nested logic programs: Reductions and complexity http://arxiv.org/abs/0906.2228 2009 CoRR abs/0906.2228 db/journals/corr/corr0906.html#abs-0906-2228 informal publication