Characterising equilibrium logic and nested logic programs: Reductions and complexity