@article{'Bos2009JoApLo',
   title     = {'Applying automated deduction to natural language understanding'},
   author    = {'Bos', 'Johan'},
   journal   = {'Journal of Applied Logic'},
   volume    = {7},
   number    = {1},
   pages     = {100--112},
   year      = {2009}
}