@incollection(bancilhonNaiveEvaluationRecursively1986,
 author       = {Fran{\c c}ois Bancilhon},
 year         = {1986},
 title        = {Naive {{Evaluation}} of {{Recursively Defined Relations}}},
 editor       = {Micheal L. Brodie and John Mylopoulos},
 booktitle    = {On {{Knowledge Base Management Systems}}: {{Integrating Artificial Intelligence}} and {{Database Technologies}}},
 series       = {Topics in {{Information Systems}}},
 publisher    = {{Springer}},
 address      = {{New York, NY}},
 pages        = {165--178},
 doi          = {10.1007/978-1-4612-4980-1_17},
)
@article(baryannisTrajectoryCalculusQualitative2018,
 author       = {George Baryannis and Ilias Tachmazidis and Sotiris Batsakis and Grigoris Antoniou and Mario Alviano and Timos Sellis and Pei-Wei Tsai},
 year         = {2018},
 title        = {A {{Trajectory Calculus}} for {{Qualitative Spatial Reasoning Using Answer Set Programming}}},
 journal      = {Theory and Practice of Logic Programming},
 volume       = {18},
 number       = {3-4},
 pages        = {355--371},
 doi          = {10.1017/S147106841800011X},
)
@article(battleGeoSPARQLEnablingGeospatial2011,
 author       = {Robert Battle and Dave Kolas},
 year         = {2011},
 title        = {{{GeoSPARQL}}: {{Enabling}} a {{Geospatial Semantic Web}}},
 journal      = {Semantic Web},
 pages        = {17},
)
@inproceedings(bhattCLPQSDeclarative2011,
 author       = {Mehul Bhatt and Jae Hee Lee and Carl Schultz},
 year         = {2011},
 title        = {{{CLP}}({{QS}}): {{A Declarative Spatial Reasoning Framework}}},
 booktitle    = {{{COSIT}} 2011},
 series       = {Lecture {{Notes}} in {{Computer Science}}},
 volume       = {6899},
 publisher    = {{Springer Berlin Heidelberg}},
 address      = {{Berlin, Heidelberg}},
 pages        = {210--230},
 doi          = {10.1007/978-3-642-23196-4_12},
)
@article(clementiniModelingTopologicalSpatial1994,
 author       = {Eliseo Clementini and Jayant Sharma and Max J Egenhofer},
 year         = {1994},
 title        = {Modeling {{Topological Spatial Relations}}: {{Strategies}} for Query Processing},
 journal      = {Computers and Graphics},
 volume       = {18},
 number       = {6},
 pages        = {815--822},
 doi          = {10.1016/0097-8493(94)90007-8},
)
@article(cohnQualitativeSpatialRepresentation1997,
 author       = {Anthony G. Cohn and Brandon Bennett and John Gooday and Nicholas Mark Gotts},
 year         = {1997},
 title        = {Qualitative {{Spatial Representation}} and {{Reasoning}} with the {{Region Connection Calculus}}},
 journal      = {GeoInformatica},
 volume       = {3},
 number       = {1},
 pages        = {275--316},
 doi          = {10.1023/A:1009712514511},
)
@misc(esri2020,
 author       = {{ESRI}},
 year         = {2020},
 howpublished = {https://desktop.arcgis.com/en/arcmap/latest/manage-data/using-sql-with-gdbs/relational-functions-for-st-geometry.htm},
)
@article(hageSpacePackageTight2010,
 author       = {Willem Robert Van Hage and Jan Wielemaker and Guus Schreiber},
 year         = {2010},
 title        = {The {{Space Package}}: {{Tight Integration}} between {{Space}} and {{Semantics}}},
 journal      = {Transactions in GIS},
 volume       = {14},
 number       = {2},
 pages        = {131--146},
 doi          = {10.1111/j.1467-9671.2010.01187.x},
)
@inproceedings(hanLogicBaseDeductiveDatabase1994,
 author       = {Jiawei Han and Ling Liu and Zhaohui Xie},
 year         = {1994},
 title        = {{{LogicBase}}: A Deductive Database System Prototype},
 booktitle    = {{{CIKM}} '94: {{Proceedings}} of the Third International Conference on {{Information}} and Knowledge Management},
 pages        = {226--233},
 doi          = {10.1145/191246.191285},
)
@article(ioannidisEvaluatingGeospatialRDF2019,
 author       = {Theofilos Ioannidis and George Garbis and Kostis Kyzirakos and Konstantina Bereta and Manolis Koubarakis},
 year         = {2019},
 title        = {Evaluating {{Geospatial RDF}} Stores {{Using}} the {{Benchmark Geographica}} 2},
 journal      = {arXiv:1906.01933 [cs]},
 doi          = {10.1007/s13740-021-00118-x},
)
@article(khanEmpiricalEvaluationArcGIS2017,
 author       = {Shafat Khan and Mutahar Syed},
 year         = {2017},
 title        = {Empirical {{Evaluation}} of {{ArcGIS}} with {{Contemporary Open Source Solutions}} - {{A Study}}},
 journal      = {International Journal of Advance Research in Science and Engineering},
 volume       = {6},
 pages        = {724--736},
)
@incollection(kyzirakosStrabonSemanticGeospatial2012,
 author       = {Kostis Kyzirakos and Manos Karpathiotakis and Manolis Koubarakis},
 year         = {2012},
 title        = {Strabon: {{A Semantic Geospatial DBMS}}},
 booktitle    = {The {{Semantic Web}} \textendash{} {{ISWC}} 2012},
 volume       = {7649},
 publisher    = {{Springer Berlin Heidelberg}},
 address      = {{Berlin, Heidelberg}},
 pages        = {295--311},
 doi          = {10.1007/978-3-642-35176-1_19},
)
@inproceedings(liLPrologQSFunctional2019,
 author       = {Beidi Li and Mehul Bhatt and Carl Schultz},
 year         = {2019},
 title        = {{{$\lambda$Prolog}}({{QS}}): {{Functional Spatial Reasoning}} in {{Higher Order Logic Programming}}},
 booktitle    = {14th {{International Conference}} on {{Spatial Information Theory}} ({{COSIT}} 2019)},
 pages        = {26:1--26:8},
 doi          = {10.4230/LIPIcs.COSIT.2019.26},
)
@incollection(nuttTranslationQualitativeSpatial1999,
 author       = {Werner Nutt},
 year         = {1999},
 title        = {On the {{Translation}} of {{Qualitative Spatial Reasoning Problems}} into {{Modal Logics}}},
 editor       = {G. Goos and J. Hartmanis and {van Leeuwen}, J. and Wolfram Burgard and Armin B. Cremers and Thomas Cristaller},
 booktitle    = {{{KI}}-99: {{Advances}} in {{Artificial Intelligence}}},
 series       = {Lecture {{Notes}} in {{Computer Science}}},
 volume       = {1701},
 publisher    = {{Springer Berlin Heidelberg}},
 address      = {{Berlin, Heidelberg}},
 pages        = {113--124},
 doi          = {10.1007/3-540-48238-5_9},
)
@misc(openstreetmapcontributorsPlanetDumpRetrieved2017,
 author       = {{OpenStreetMap contributors}},
 year         = {2017},
 title        = {Planet Dump Retrieved from {{https://planet.osm.org}}},
)
@article(pesantReasoningSolidsUsing1999,
 author       = {Gilles Pesant and Michel Boyer},
 year         = {1999},
 title        = {Reasoning about {{Solids Using Constraint Logic Programming}}},
 journal      = {Journal of Automated Reasoning},
 volume       = {22},
 pages        = {241--262},
 doi          = {10.1023/A:1006080931326},
)
@misc(ramsey2012,
 author       = {Paul Ramsey and Mark Leslie},
 year         = {2012},
 howpublished = {https://postgis.net/workshops/postgis-intro/de9im.html},
)
@inproceedings(stockerPelletspatialHybridRCC82009,
 author       = {Markus Stocker and Evren Sirin},
 year         = {2009},
 title        = {Pelletspatial: {{A}} Hybrid {{RCC}}-8 and {{RDF}}/{{OWL}} Reasoning and Query Engine},
 booktitle    = {In: {{OWLED}} 2009},
 publisher    = {{Springer}},
)
@article(walegaNonMonotonicSpatialReasoning2017,
 author       = {Wa{\l}{\k{e}}ga, Przemys{\l}aw Andrzej and Carl Schultz and Mehul Bhatt},
 year         = {2017},
 title        = {Non-{{Monotonic Spatial Reasoning}} with {{Answer Set Programming Modulo Theories}}},
 journal      = {Theory and Practice of Logic Programming},
 volume       = {17},
 number       = {2},
 pages        = {205--225},
 doi          = {10.1017/S1471068416000193},
)