DOI,IST REx ID,Title of publication
10.1145/1250734.1250769,4571,Path invariants