(Non−)Succinctness of Uniform Interpolants of General Terminologies in the Description Logic EL - Nikitina, N; Rudolph, S (2014)