Benevides, M. R. F. (1997). A Modal Logic for Finite Graphs. Proceedings of the Amsterdam Colloquium, 79-84. https://platform.openjournals.nl/PAC/article/view/24572