DOI,IST REx ID,Title of publication
10.1145/1181775.1181790,4523,Synergy: A new algorithm for property checking