@misc{indiciae2cdb46703e2b,
  title = {Query Inseparability for ALC Ontologies},
  author = {Elena Botoeva and Carsten Lutz and Vladislav Ryzhikov and Frank Wolter and Michael Zakharyaschev},
  year = {2019},
  url = {https://arxiv.org/abs/1902.00014},
  note = {Source identifier: 1902.00014}
}