_id,doi,title
4542,10.1007/978-3-642-03409-1_2,Alternating weighted automata