@article{forgettingAIJ,
  title = "{(Non-)Succinctness of Uniform Interpolants of General Terminologies in the Description Logic EL}",
  author = "Nadeschda Nikitina and Sebastian Rudolph",
  year = "2014",
  issn = "0004-3702",
  journal = "Artificial Intelligence ",
  keywords = "Ontologies, Knowledge representation, Automated reasoning, Description logics, Uniform interpolation, Forgetting, \{EL\} ",
  number = "0",
  pages = "120 - 140",
  url = "http://www.sciencedirect.com/science/article/pii/S0004370214000824",
  volume = "215",
  doi = "http://dx.doi.org/10.1016/j.artint.2014.06.005",
}