Reinhard Muskens. An Analytic Tableau System for Natural Logic. In Maria Aloni, Harald Bastiaanse, Tikitu de Jager, Katrin Schulz, editors, Logic, Language and Meaning - 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers. Volume 6042 of Lecture Notes in Computer Science, pages 104-113, Springer, 2009. [doi]
Abstract is missing.