@InProceedings{DJW97:LICS,
  author =       "Stefan Dziembowski and Marcin Jurdzi{\'n}ski
                  and Igor Walukiewicz",
  title =        "How Much Memory Is Needed to Win Infinite Games?",
  booktitle =    "Proceedings, Twelfth Annual {IEEE} Symposium on 
                  Logic in Computer Science",
  year =         1997,
  publisher =    "IEEE Computer Society Press",
  address =      "Warsaw, Poland",
  month =        "29~" # jun # "--2~" # jul,
  pages =        "99--110"
}