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