_id,doi,title
5415,10.15479/AT:IST-2014-170-v1-1,Nested weighted automata