@misc{indiciae9dd70afe5ea1,
  title = {Soundness and Completeness of SPARQL Query Containment Solver SpeCS},
  author = {Mirko Spasić and Milena Vujošević Janičić},
  year = {2022},
  url = {https://arxiv.org/abs/2210.07083},
  note = {Source identifier: 2210.07083}
}