| |
| 2008 | ||
|---|---|---|
| 2 | EE | Michael Mendler, Stephan Scheele: Towards Constructive DL for Abstraction and Refinement. Description Logics 2008 |
| 2007 | ||
| 1 | EE | Thorsten Liebig, Stephan Scheele, Julian Lambertz: Explaining Subsumption and Patching Non-Subsumption with Tableaux Methods. Description Logics 2007 |
| 1 | Julian Lambertz | [1] |
| 2 | Thorsten Liebig | [1] |
| 3 | Michael Mendler | [2] |