Alur R, Henzinger TA. Real-time logics: Complexity and expressiveness. Information and Computation. 1993;104(1):35-77. doi:10.1006/inco.1993.1025
LibreCat: https://research-explorer.ista.ac.at/record/4589
DOI: 10.1006/inco.1993.1025

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