Alberto Del Bimbo, Enrico Vicario, Daniele Zingoni: Symbolic Description and Visual Querying of Image Sequences Using Spatio-Temporal Logic. IEEE Trans. Knowl. Data Eng. 7(4): 609-622 (1995)