@inproceedings{Bos1999ICoS,
   title     = {Automated Reasoning for Natural Language Semantics},
   author    = {Bos, Johan},
   booktitle = {ICoS-1. Inference in Computational Semantics. Workshop Proceedings},
   editor    = {Monz, Christof and de Rijke, Maarten},
   pages     = {1--4},
   year      = {1999}
}