@article{HahnRichter2017,
  author    = {Michael Hahn and Frank Richter},
  title     = {Henkin semantics for reasoning with natural language},
  journal   = {Journal of language modelling},
  volume    = {3},
  number    = {2},
  pages     = {513 -- 568},
  doi       = {10.15398/jlm.v3i2.113},
  year      = {2017},
}