@InProceedings{monz:01ligh,
  author =       {Christof Monz and Maarten de~Rijke},
  title =        {Light-Weight Subsumption checking for computational 
                  semantics},
  booktitle =    {Proceedings of the 3rd Workshop on Inference in 
                  Computational Semantics {(ICoS-3)}},
  year =         2001,
  pages =        {59--72},
  editor =       {Patrick Blackburn and Michael Kohlhase}
}