Stergios Chatzikyriakidis. Natural Language Reasoning using Coq: Interaction and Automation. In Jean-Marc Lecarpentier, Nadine Lucas, editors, Actes de la 22e conference sur le Traitement Automatique des Langues Naturelles. Articles courts, TALN 2015, Caen, France, 2015. pages 7-13, ATALA, 2015. [doi]
Abstract is missing.