Closure properties of classes of spatio-temporal objects under Boolean set operations | IEEE Conference Publication | IEEE Xplore