pdf bibA Logical Semantics for Nonmonotonic SortsMark A. Young | Bill Rounds31st Annual Meeting of the Association for Computational Linguistics