Theories and methods of spatio-temporal reasoning in geographic space - Frank, Andrew U.; Campari, I. (Irene); Formentini, U. (Ubaldo) (Lecture notes in computer science ;, 1992)