Johan Bos. DORIS 2001: Underspecification, Resolution and Inference for Discourse Representation Structures.  In 
   Patrick Blackburn and 
   Michael Kohlhase editors,  Proceedings of the Workshop on Inference in Compuational Semantics (ICoS-3), June 18-19, Siena, Italy,   2001.        google  [Annote]
     |