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