On the (Non−)Succinctness of Uniform Interpolation in General EL Terminologies

Bibliographic Details
Main Authors: Nikitina, N, Rudolph, S
Format: Conference item
Published: 2012