DOI,IST REx ID,Title of publication
10.1145/1328438.1328459,4521,Proving non-termination