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