DOI,IST REx ID,Title of publication
10.1145/964001.964021,4458,Abstractions from proofs