A really temporal logic
R. Alur, T.A. Henzinger, Journal of the ACM 41 (1994) 181–204.

An optimal algorithm for intersecting line segments in the plane
B. Chazelle, H. Edelsbrunner, Journal of the ACM 39 (1992) 1–54.