Franz Baader Carsten Lutz Boontawee Suntisrivaraporn CEL - A Polynomial-Time Reasoner for Life Science Ontologies. 287-291 2006 conf/cade/2006 IJCAR http://dx.doi.org/10.1007/11814771_25 db/conf/cade/ijcar2006.html#BaaderLS06