_id,doi,title
4547,10.2168/LMCS-3(3:4)2007,Algorithms for omega-regular games with imperfect information