_id,doi,title
4396,10.1007/978-3-642-12029-9_19,Shape refinement through explicit heap analysis