Infinitary equilibrium logic and strongly equivalent logic programs | Publicación