@article{NavarroOrejasPinoetal.2020,
  author    = {Marisa Navarro and Fernando Orejas and Elvira Pino and Leen Lambers},
  title     = {A navigational logic for reasoning about graph properties},
  journal   = {Journal of logical and algebraic methods in programming},
  volume    = {118},
  doi       = {10.1016/j.jlamp.2020.100616},
  year      = {2020},
}