_id,doi,title
3867,10.2168/LMCS-6(3:10)2010,Expressiveness and closure properties for quantitative languages