Lotrec : The Generic Tableau Prover for Modal and Description Logics. - Luis Fariñas del Cerro; David Fauthoux; Olivier Gasquet; Andreas Herzig; Dominique Longin; Fabio Massacci (IJCAR, 2001)

From Lens to Flow Structure. - David Fauthoux; Jean Paul Bahsoun (EurAsia-ICT, 2002)