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