_id,doi,title
3883,10.1007/978-3-540-71389-0_12,Generalized parity games
