@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}
}