Muskens, R. 2009. Tableaus for Natural Logic. Proceedings of the Amsterdam Colloquium. (Dec. 2009), 87–96.