Sofronie-Stokkermans, Viorica Automation of Logic, MPI for Informatics, Max Planck Society;
Sofronie-Stokkermans, V. (2013). Locality and Applications to Subsumption Testing in EL and Some of its Extensions. Scientific Annals of Computer Science, 23(2), 251-284. doi:10.7561/SACS.2013.2.251.