@InProceedings{BaaLutSun-DL-06,
  author = {F. Baader and C. Lutz and B. Suntisrivaraporn},
  title = {Efficient Reasoning in $\mathcal{EL}^+$},
  booktitle = {Proceedings of the 2006 International Workshop on Description Logics ({DL2006})},
  year = {2006},
  series = {CEUR-WS},
}