@inproceedings{'BlackburnBosKohlhaseNivelle1998CADE',
   title     = {'Automated Theorem Proving for Natural Language Understanding'},
   author    = {Blackburn, Patrick and Bos, Johan and Kohlhase, Michael and 'de Nivelle', 'Hans'},
   booktitle = {'Proceedings of CADE-15 workshop Problem-solving methodologies with Automated Deduction'},
   year      = {1998}
}