Clemens Holzmann Rule-based reasoning about qualitative spatiotemporal relations. 49-54 2007 MPAC http://doi.acm.org/10.1145/1376866.1376875 conf/middleware/2007mpac db/conf/middleware/mpac2007.html#Holzmann07