_id,doi,title
1011,10.1007/978-3-662-54434-1_11,Faster algorithms for weighted recursive state machines