Encodings for Equilibrium Logic and Logic Programs with Nested Expressions | Publicación