DOI,IST REx ID,Title of publication
10.1007/11817963_48,4574,Lazy shape analysis
