Mohamad Sahade

Modal Tableaux: Completeness vs. Termination

Luis Fariñas del Cerro, Andreas Herzig, Olivier Gasquet, 2005, We Will Show Them!.

LoTREC: Logical Tableaux Research Engineering Companion

Dominique Longin, Andreas Herzig, Olivier Gasquet, 2005, TABLEAUX.

Terminating modal tableaux with simple completeness proof

Andreas Herzig, Olivier Gasquet, Mohamad Sahade, 2006, Advances in Modal Logic.