Muskens, R. (2009). Tableaus for Natural Logic. Proceedings of the Amsterdam Colloquium, 87-96. https://platform.openjournals.nl/PAC/article/view/22586