Sofronie-Stokkermans, Viorica Automation of Logic, MPI for Informatics, Max Planck Society;
Sofronie-Stokkermans, V. (2008). Locality and subsumption testing in EL and some of its extensions. In C. Areces, & R. Goldblatt (Eds.), Advances in Modal Logic 7: [Proceedings of the AiML 2008] (pp. 315-339). London: College Publications.