Spatio-temporal reasoning and linear inequalities - Valdés-Pérez, Raúl E. (Mass. Inst. of Techn., 1984)