_id,doi,title
4596,10.1109/SFCS.1989.63473,A really temporal logic