Spell corrector to social media datasets in message filtering systems. - Zar Zar Wint; Theo Ducros; Masayoshi Aritsugi (ICDIM, 2017)

Weak Subsumption in the EL-Description Logic with Refreshing Variables (Extended Abstract). - Theo Ducros; Marinette Bouet; Farouk Toumani (Description Logics, 2021)

Reasoning in Descriptions Logics Augmented with Refreshing Variables. (Raisonner en Logiques de Description Augmentées avec la Sémantique Rafraichissante). - Theo Ducros (2022)