Uli SattlerBooksIntroduction to Description LogicDescription Logic, Theory Combination, and All ThatIntelligent Information Processing VIIFrontiers of Combining SystemsAutomated Reasoning 6th International Joint Conference Ijcar 2012 Manchester Uk June 2629 2012 ProceedingsAuthor data: Open Library