_id,doi,title
4591,10.1145/174644.174651,A really temporal logic