@InProceedings{BaaLutSun-M4M-05,
  author = 	 {F. Baader and C. Lutz and B. Suntisrivaraporn},
  title = 	 {Is Tractable Reasoning in Extensions of the Description Logic $\mathcal{EL}$ Useful in Practice?},
  booktitle = 	 {Proceedings of the Methods for Modalities Workshop (M4M-05)},
  year =	 2005,
  address = {Berlin, Germany}
}