Real-time logics: Complexity and expressiveness
R. Alur, T.A. Henzinger, Information and Computation 104 (1993) 35–77.

Minimum polygonal separation
H. Edelsbrunner, F. Preparata, Information and Computation 77 (1988) 218–232.