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