Termination Properties of Spatial Datalog Programs. - Bart Kuijpers; Jan Paredaens; Marc Smits; Jan Van den Bussche (Logic in Databases, 1996)

On Expressing Topological Connectivity in Spatial Datalog. - Bart Kuijpers; Marc Smits (CDB, 1997)