references.bib

@online{sparql,
    title = {SPARQL Query Language for RDF},
    organization = {W3C},
    date = {2009},
    urldate = {2020-06-10},
    url = {https://www.w3.org/TR/rdf-sparql-query/},
}

@online{gosparql,
    title = {package sparql},
    organization = {godoc.org},
    date = {2019},
    urldate = {2020-06-10},
    url = {https://godoc.org/github.com/knakk/sparql},
}

@online{uloisabelle,
    title = {Isabelle: Libraries of the Isabelle proof assistant in OMDoc/MMT representation},
    organization = {MathHub},
    date = {2019},
    urldate = {2020-06-10},
    url = {https://gl.mathhub.info/Isabelle}
}

@online{sparqlpagination,
    title = {Paginating SPARQL results},
    author = {Joshua Taylor},
    date = {2014},
    urldate = {2020-06-10},
    url = {https://stackoverflow.com/questions/27488403/paginating-sparql-results},
}

@online{rdf4j,
    title = {Eclipse rdf4j},
    organization = {The Eclipse Foundation},
    date = {2020},
    urldate = {2020-06-10},
    url = {https://rdf4j.org/},
}

@online{graphdbapi,
    title = {Using GraphDB with the RDF4J API},
    organization = {Ontotext},
    date = {2020},
    urldate = {2020-06-10},
    url = {http://graphdb.ontotext.com/documentation/free/using-graphdb-with-the-rdf4j-api.html},
}