@InProceedings{chatzikyriakidis-luo:2014:TTNLS,
  author    = {Chatzikyriakidis, Stergios  and  Luo, Zhaohui},
  title     = {Natural Language Reasoning Using Proof-Assistant Technology: Rich Typing and Beyond},
  booktitle = {Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS)},
  month     = {April},
  year      = {2014},
  address   = {Gothenburg, Sweden},
  publisher = {Association for Computational Linguistics},
  pages     = {37--45},
  url       = {http://www.aclweb.org/anthology/W14-1405}
}