Teaching Abstraction in Mathematics and Computer Science - A Computer-supported Approach with Alloy. - Marianne Simonot; M. Homps; Philippe Bonnot 002 (CSEDU (2), 2012)

Tableau-based revision in SHIQ. - Thinh Dong; Chan Le Duc; Philippe Bonnot 002; Myriam Lamolle (Description Logics, 2015)

Tableau-Based Revision over SHIQ TBoxes. - Thinh Dong; Chan Le Duc; Philippe Bonnot 002; Myriam Lamolle (LPAR, 2015)

Moteur de révision d'ontologie en SHIQ. - Thinh Dong; Myriam Lamolle; Chan Le Duc; Philippe Bonnot 002 (Ingénierie des Systèmes d Inf., 2018)