@inproceedings{nikitina2012RR,
  title = "On the (Non-)Succinctness of Uniform Interpolation in General EL Terminologies",
  author = "Nadeschda Nikitina and Sebastian Rudolph",
  year = "2012",
  booktitle = "Proceedings of the 6th International Conference on Web Reasoning and Rule Systems (RR 2012)",
  pages = "246-249",
}