@inproceedings{baader:inria-00336702, TITLE = {{A Proof-Theoretic Subsumption Reasoner for Hybrid EL-TBoxes}}, AUTHOR = {Baader, Franz and Novakovic, Novak and Suntisrivaraporn, Boontawee}, URL = {https://inria.hal.science/inria-00336702}, BOOKTITLE = {{21st International Workshop on Description Logics - DL 2008}}, ADDRESS = {Dresden, Germany}, YEAR = {2008}, MONTH = May, HAL_ID = {inria-00336702}, HAL_VERSION = {v1}, }