The Closed Fragment of IL is PSPACE Hard | Publicación