DOI,IST REx ID,Title of publication
10.1109/LICS.2009.16,4540,Expressiveness and closure properties for quantitative languages