DOI,IST REx ID,Title of publication
10.1007/11560548_7,4560,Verifying quantitative properties using bound functions