@article{OrejasPinoNavarroetal.2018,
  author    = {Fernando Orejas and Elvira Pino and Marisa Navarro and Leen Lambers},
  title     = {Institutions for navigational logics for graphical structures},
  journal   = {Theoretical computer science},
  volume    = {741},
  pages     = {19 -- 24},
  doi       = {10.1016/j.tcs.2018.02.031},
  year      = {2018},
}