@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://aclanthology.org/W17-6801",
}