Characterising equilibrium logic and nested logic programs: Reductions and complexity:::, :::

David Pearce, Hans Tompits, Stefan Woltran. Characterising equilibrium logic and nested logic programs: Reductions and complexity:::, :::. TPLP, 9(5):565-616, 2009. [doi]

Abstract

Abstract is missing.