| 2007 | ||
|---|---|---|
| 2 | Thorsten Liebig, Felix Müller: Parallelizing Tableaux-Based Description Logic Reasoning. OTM Workshops (2) 2007: 1135-1144 | |
| 2006 | ||
| 1 | Felix Müller, Michael Hanselmann, Thorsten Liebig, Olaf Noppens: A Tableaux-based Mobile DL Reasoner - An Experience Report. Description Logics 2006 | |
| 1 | Michael Hanselmann | [1] |
| 2 | Thorsten Liebig | [1] [2] |
| 3 | Olaf Noppens | [1] |