BENEVIDES, Mario R. F. A Modal Logic for Finite Graphs. Proceedings of the Amsterdam Colloquium, Amsterdam, p. 79–84, 1997. DOI: 10.53437/6rc24j73. Disponível em: https://platform.openjournals.nl/PAC/article/view/24572. Acesso em: 9 sep. 2026.