Mohamad Sahade

	2006
3		Olivier Gasquet, Andreas Herzig, Mohamad Sahade: Terminating modal tableaux with simple completeness proof. Advances in Modal Logic 2006: 167-186
	2005
2		Olivier Gasquet, Andreas Herzig, Dominique Longin, Mohamad Sahade: LoTREC: Logical Tableaux Research Engineering Companion. TABLEAUX 2005: 318-322
1		Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig, Mohamad Sahade: Modal Tableaux: Completeness vs. Termination. We Will Show Them! (1) 2005: 587-614

Coauthor Index

1	Luis Fariñas del Cerro	[1]
2	Olivier Gasquet	[1] [2] [3]
3	Andreas Herzig	[1] [2] [3]
4	Dominique Longin	[2]