DOI,IST REx ID,Title of publication
10.1145/174644.174651,4591,A really temporal logic