An Analytic Tableau System for Natural Logic - Muskens, Reinhard (Logic, Language, and Meaning: Selected Papers from the 17th Amsterdam Colloquium, 2010)