Alur, R., &; Henzinger, T. A. (1994). A really temporal logic. Journal of the ACM. ACM.https://doi.org/10.1145/174644.174651 
LibreCat: https://research-explorer.ista.ac.at/record/4591
DOI: 10.1145/174644.174651

Chazelle, B., &; Edelsbrunner, H. (1992). An optimal algorithm for intersecting line segments in the plane. Journal of the ACM. ACM.https://doi.org/10.1145/147508.147511 
LibreCat: https://research-explorer.ista.ac.at/record/4046
DOI: 10.1145/147508.147511