_id,doi,title
4458,10.1145/964001.964021,Abstractions from proofs