A navigational logic for reasoning about graph properties | Publicación