@inproceedings{naturallanguagereasoningusingproof,
  title = {Natural Language Reasoning Using Proof-Assistant Technology: Rich Typing and Beyond},
  author = {Stergios Chatzikyriakidis and Zhaohui Luo},
  year = {2014},
  booktitle = {WS 2014 4},
  url = {https://aclanthology.org/W14-1405},
}