_id,doi,title
4366,10.1007/978-3-540-70545-1_31,Heap Assumptions on Demand