Kristina Striegnitz. Model Checking for Contextual Reasoning in NLG.  In 
   Patrick Blackburn and 
   Michael Kohlhase editors,  Proceedings of Inference in Computational Semantics (ICoS-3), June 18-23, Pages 101-115, Siena, Italy,   2001.   [Abstract]      google  [Annote]
     |