A navigational logic for reasoning about graph properties
scientific article; zbMATH DE number 7316055
scientific article