R. Alur and T. A. Henzinger, “Real-time logics: Complexity and expressiveness,” Information and Computation, vol. 104, no. 1. Elsevier, pp. 35–77, 1993.
LibreCat: https://research-explorer.ista.ac.at/record/4589
DOI: 10.1006/inco.1993.1025

H. Edelsbrunner and F. Preparata, “Minimum polygonal separation,” Information and Computation, vol. 77, no. 3. Elsevier, pp. 218–232, 1988.
LibreCat: https://research-explorer.ista.ac.at/record/4090
DOI: 10.1016/0890-5401(88)90049-1