_id,doi,title
4596,10.1109/SFCS.1989.63473,A really temporal logic
4128,10.1109/TIT.1983.1056714 ,On the shape of a set of points in the plane