DOI,IST REx ID,Title of publication
10.1007/978-3-540-70545-1_31,4366,Heap Assumptions on Demand