DOI,IST REx ID,Title of publication
10.2168/LMCS-3(3:4)2007,4547,Algorithms for omega-regular games with imperfect information