_id,doi,title
4365,1556,Abstraction Refinement for Quantified Array Assertions