@misc{indiciaef32b924a5e84,
  title = {On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles},
  author = {Thomas Gogacz and Víctor Gutiérrez-Basulto and Yazmín Ibáñez-García and Jean Christoph Jung and Filip Murlak},
  year = {2020},
  url = {https://arxiv.org/abs/2010.11503},
  note = {Source identifier: 2010.11503}
}