MUSKENS, Reinhard. Tableaus for Natural Logic. Proceedings of the Amsterdam Colloquium, Amsterdam, p. 87–96, 2009. Disponível em: https://platform.openjournals.nl/PAC/article/view/22586.. Acesso em: 25 feb. 2026.