@misc{indiciaebd4aa9976928,
  title = {Interpolants and Explicit Definitions in Extensions of the Description Logic EL},
  author = {Marie Fortin and Boris Konev and Frank Wolter},
  year = {2022},
  url = {https://arxiv.org/abs/2202.07186},
  note = {Source identifier: 2202.07186}
}