@inproceedings{bernardy-chatzikyriakidis-2017-type,
    title = "A Type-Theoretical system for the {F}ra{C}a{S} test suite: Grammatical Framework meets Coq",
    author = "Bernardy, Jean-Philippe  and
      Chatzikyriakidis, Stergios",
    editor = "Gardent, Claire  and
      Retor\'e, Christian",
    booktitle = "Proceedings of the 12th International Conference on Computational Semantics ({IWCS}) --- Long papers",
    year = "2017",
    url = "https://preview.aclanthology.org/build-pipeline-with-new-library/W17-6801/"
}