_id,doi,title
4580,10.1007/978-3-642-00768-2_7,Alpaga: A tool for solving parity games with imperfect information