Stephan Scheele

	2009
4		Michael Mendler, Stephan Scheele: Exponential Speedup in UL Subsumption Checking relative to general TBoxes for the Constructive Semantics. Description Logics 2009
	2008
3		Michael Mendler, Stephan Scheele: Towards Constructive DL for Abstraction and Refinement. Description Logics 2008
2		Thorsten Liebig, Stephan Scheele: Explaining Entailments and Patching Modelling Flaws. KI 22(2): 25-27 (2008)
	2007
1		Thorsten Liebig, Stephan Scheele, Julian Lambertz: Explaining Subsumption and Patching Non-Subsumption with Tableaux Methods. Description Logics 2007

Coauthor Index

1	Julian Lambertz	[1]
2	Thorsten Liebig	[1] [2]
3	Michael Mendler	[3] [4]

Colors in the list of coauthors