The following publications are possibly variants of this publication:
- Characterising equilibrium logic and nested logic programs: Reductions and complexity:::, :::David Pearce, Hans Tompits, Stefan Woltran. tplp, 9(5):565-616, 2009. [doi]
- A polynomial translation of logic programs with nested expressions into disjunctive logic programs: preliminary reportDavid Pearce, Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran. lpnmr 2002: 57-66
- A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary ReportDavid Pearce, Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran. ICLP 2002: 405-420 [doi]
- Some Typesmof Equivalence for Logic Programs and Equilibrium LogicDavid Pearce, Agustín Valverde. agp 2003: 350-361
- Uniform Equivalence for Equilibrium Logic and Logic ProgramsDavid Pearce, Agustín Valverde. lpnmr 2004: 194-206 [doi]
- Reducing Propositional Theories in Equilibrium Logic to Logic ProgramsPedro Cabalar, David Pearce, Agustín Valverde. epia 2005: 4-17 [doi]
- Reducing Propositional Theories in Equilibrium Logic to Logic ProgramsPedro Cabalar, David Pearce, Agustín Valverde. asp 2005: [doi]
- Equilibrium logicDavid Pearce. AMAI, 47(1-2):3-41, 2006. [doi]