_id,doi,title
1656,10.1109/LICS.2015.72,Nested weighted automata