Modal Tableaux: Completeness vs. Termination. - Luis Fariñas del Cerro; Olivier Gasquet; Andreas Herzig; Mohamad Sahade (We Will Show Them! (1), 2005)

LoTREC: Logical Tableaux Research Engineering Companion. - Olivier Gasquet; Andreas Herzig; Dominique Longin; Mohamad Sahade (TABLEAUX, 2005)

Terminating modal tableaux with simple completeness proof. - Olivier Gasquet; Andreas Herzig; Mohamad Sahade (Advances in Modal Logic, 2006)