Bisimulations for intuitionistic temporal logics | Publicación