N. Nikitina and P. Koopmann, “Small Is Beautiful: Computing Minimal Equivalent EL Concepts”, AAAI, vol. 31, no. 1, Feb. 2017.