@InProceedings{BaaNovSun-DL-08,
  author = {Franz Baader and Novak Novakovic and Boontawee Suntisrivaraporn},
  title = {A Proof-Theoretic Subsumption Reasoner for Hybrid $\mathcal{EL}$-{TBoxes}},
  booktitle = {Proceedings of the 2008 International Workshop on Description Logics ({DL2008})},
  year = {2008},
  series = {CEUR-WS},
  volume = {353}
}