Natural Language Reasoning using Coq: Interaction and Automation Stergios Chatzikyriakidis author 2015-06 text Actes de la 22e conférence sur le Traitement Automatique des Langues Naturelles. Articles courts Jean-Marc Lecarpentier editor Nadine Lucas editor ATALA Caen, France conference publication chatzikyriakidis-2015-natural https://aclanthology.org/2015.jeptalnrecital-court.2/ 2015-06 7 13