_id,doi,title
1601,10.1007/978-3-319-21690-4_31,The Hanoi omega-automata format