Alur, Rajeev, and Thomas A. Henzinger. “Real-Time Logics: Complexity and Expressiveness.”10.1006/inco.1993.1025__Information and Computation, vol. 104, no. 1, Elsevier, 1993, pp. 35–77, doi:10.1006/inco.1993.1025.

Edelsbrunner, Herbert, and Franco Preparata. “Minimum Polygonal Separation.”10.1016/0890-5401(88)90049-1__Information and Computation, vol. 77, no. 3, Elsevier, 1988, pp. 218–32, doi:10.1016/0890-5401(88)90049-1.