@inproceedings{el-ghali-roussarie-2003-structuration,
    title = "Structuration automatique de preuves math{\'e}matiques : de la logique {\`a} la rh{\'e}torique",
    author = "El Ghali, Adil  and
      Roussarie, Laurent",
    editor = "Daille, B{\'e}atrice  and
      Morin, Emmanuel",
    booktitle = "Actes de la 10{\`e}me conf{\'e}rence sur le Traitement Automatique des Langues Naturelles. Posters",
    month = jun,
    year = "2003",
    address = "Batz-sur-Mer, France",
    publisher = "ATALA",
    url = "https://preview.aclanthology.org/fix-sig-urls/2003.jeptalnrecital-poster.7/",
    pages = "333--338",
    language = "fra"
}