DOI,IST REx ID,Title of publication
10.1007/978-3-642-17679-1_4,757,Generating fast indulgent algorithms