Benevides, M.R.F. 1997. A Modal Logic for Finite Graphs. Proceedings of the Amsterdam Colloquium. (Dec. 1997), 79–84. DOI:https://doi.org/10.53437/6rc24j73.