@InProceedings{BaLuSu-DL-2006,
  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 ({DL'06})},
  year = {2006},
  volume = {189},
  series = {CEUR-WS},
}