@InProceedings{BaaLutSun-IJCAR-06,
  author = 	{F. Baader and C. Lutz and B. Suntisrivaraporn},
  title = 	{{\textsf{CEL}}---A Polynomial-time Reasoner for Life Science Ontologies},
  booktitle = 	{Proceedings of the 3rd International 
              	 Joint Conference on Automated Reasoning ({IJCAR'06})},
  year = 	{2006},
  editor = 	{U. Furbach and N. Shankar},
  series = 	{Lecture Notes in Artificial Intelligence},
  volume = 	{4130},
  pages = 	{287--291},
  publisher = 	{Springer-Verlag},
  springer =    {yes},
}