Jingde Cheng Qualitative Spatio-temporal Reasoning about Moving Objects in Three-Dimensional Space. 637-648 2008 ISICA http://dx.doi.org/10.1007/978-3-540-92137-0_70 conf/isica/2008 db/conf/isica/isica2008.html#Cheng08