Oracle based approach to admissible invariant sets | Publicación