4 works on record
Advances in Natural Deduction
Linguistic Issues in Language Technology Vol 9
Inheritance, Defaults and the Lexicon
From Quirky Case to Representing Space