@ARTICLE{
author={Spasic Mirko D,Vujosevic-Janicic Milena M},
year={2025},
title={Proving correctness of the query containment solver SpeCS using SPARQL set semantics},
journal={JOURNAL OF WEB SEMANTICS},
volume={87},
number={},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Spasic Mirko D,Vujosevic-Janicic Milena M},
year={2023},
title={Solving the SPARQL query containment problem with SpeCS},
journal={JOURNAL OF WEB SEMANTICS},
volume={76},
number={},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Jovanovik Milos,Homburg Timo,Spasic Mirko D},
year={2021},
title={Software for the GeoSPARQL compliance benchmark},
journal={SOFTWARE IMPACTS},
volume={8},
number={},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Jovanovik Milos,Homburg Timo,Spasic Mirko D},
year={2021},
title={A GeoSPARQL Compliance Benchmark},
journal={ISPRS INTERNATIONAL JOURNAL OF GEO-INFORMATION},
volume={10},
number={7},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Spasic Mirko D,Vujosevic-Janicic Milena M},
year={2021},
title={Verification supported refactoring of embeddedsql},
journal={SOFTWARE QUALITY JOURNAL},
volume={29},
number={3},
pages={629-665},
document_type={Article},
} 

@ARTICLE{
author={Spasic Mirko D,Vujosevic-Janicic Milena M},
year={2020},
title={SpeCS - SPARQL Query Containment Solver},
journal={2020 ZOOMING INNOVATION IN CONSUMER TECHNOLOGIES CONFERENCE (ZINC)},
volume={},
number={},
pages={31-35},
document_type={Proceedings Paper},
}