Bart Kuijpers Jan Paredaens Marc Smits Jan Van den Bussche Termination Properties of Spatial Datalog Programs. 101-116 1996 conf/lid/1996 Logic in Databases db/conf/lid/lid96.html#KuijpersPSB96