A Proof-Theoretic Subsumption Reasoner for Hybrid EL-TBoxes. - Franz Baader; Novak Novakovik; Boontawee Suntisrivaraporn (Description Logics, 2008)