Benevides, M.R.F. (1997) “A Modal Logic for Finite Graphs”, Proceedings of the Amsterdam Colloquium, pp. 79–84. Available at: https://platform.openjournals.nl/PAC/article/view/24572 (Accessed: 5 December 2025).