@inproceedings{chatzikyriakidis-2015-natural,
    title = "Natural Language Reasoning using Coq: Interaction and Automation",
    author = "Chatzikyriakidis, Stergios",
    editor = "Lecarpentier, Jean-Marc  and
      Lucas, Nadine",
    booktitle = "Actes de la 22e conf{\'e}rence sur le Traitement Automatique des Langues Naturelles. Articles courts",
    month = jun,
    year = "2015",
    address = "Caen, France",
    publisher = "ATALA",
    url = "https://aclanthology.org/2015.jeptalnrecital-court.2/",
    pages = "7--13"
}