DOI,IST REx ID,Title of publication
10.1007/978-3-642-04027-6_9,4403,Algorithmic analysis of array-accessing programs