Muskens, R. Tableaus for Natural Logic. Proceedings of the AC 2009, 87-96.