The closed fragment of IL is PSPACE hard | Publicación