@inproceedings{Bos2006ESCOR,
   title     = {Three Stories on Automated Reasoning for Natural Language Understanding},
   author    = {Bos, Johan},
   booktitle = {Proceedings of ESCoR (IJCAR Workshop): Empirically Successful Computerized Reasoning},
   pages     = {81--91},
   year      = {2006}
}