DOI,IST REx ID,Research Group,Title of publication
10.2168/LMCS-6(3:10)2010,3867,"KrCh,ToHe",Expressiveness and closure properties for quantitative languages