D. Pearce, H. Tompits, S. Woltran: "Characterising Equilibrium Logic and Nested Logic Programs: Reductions and Complexity"; Report for Universidad Rey Juan Carlos, Grupo de Inteligencia Artificial, 2007; Report No. GIA-TR-2007-12-01, 2007; 46 pages.