1. Artale A, Franconi E (1994) A computational account for a description logic of time and action. In: KR1994, pp 3–14
2. Baader F, Calvanese D, McGuinness DL, Nardi D, Patel-Schneider PF (eds) (2003) The description logic handbook: theory, implementation, and applications. Cambridge University Press, New York
3. Baader F, Brandt S, Lutz C (2005) Pushing the EL envelope. In: IJCAI2015
4. Baader F, Lutz C, Suntisrivaraporn B (2006) CEL—a polynomial-time reasoner for life science ontologies. In: IJCAR’06, pp 287–291
5. Baader F, Brandt S, Lutz C (2008) Pushing the EL envelope further. In: OWLED2008