@InProceedings{BaaderBrandtLutz-IJCAI-05,
  author = 	 {F. Baader and S. Brandt and C. Lutz},
  title = 	 {Pushing the $\mathcal{EL}$ Envelope},
  booktitle = 	 {Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence {IJCAI-05}},
  year = 	 {2005},
  address = 	 {Edinburgh, UK},
  publisher = {Morgan-Kaufmann Publishers},
}