TY  - RPRT
TI  - Soundness and Completeness of SPARQL Query Containment Solver SpeCS
AU  - Mirko Spasić
AU  - Milena Vujošević Janičić
PY  - 2022
UR  - https://arxiv.org/abs/2210.07083
ID  - 2210.07083
ER  -