Uli Sattler

• Automated Reasoning 6th International Joint Conference Ijcar 2012 Manchester Uk June 2629 2012 Proceedings
• Description Logic, Theory Combination, and All That
• Intelligent Information Processing VII
• Frontiers of Combining Systems
• Introduction to Description Logic