Jocelyne Faddoul

	2009
3		Jocelyne Faddoul, Volker Haarslev, Ralf Möller: Algebraic Tableau Algorithm for ALCOQ. Description Logics 2009
	2008
2		Jocelyne Faddoul, Nasim Farsinia, Volker Haarslev, Ralf Möller: A Hybrid Tableau Algorithm for ALCQ. Description Logics 2008
1		Jocelyne Faddoul, Nasim Farsinia, Volker Haarslev, Ralf Möller: A Hybrid Tableau Algorithm for [Ascr ][Lscr ][Cscr ][Qscr ]. ECAI 2008: 725-726

Coauthor Index

1	Nasim Farsinia	[1] [2]
2	Volker Haarslev	[1] [2] [3]
3	Ralf Möller	[1] [2] [3]