@INPROCEEDINGS{agotnes:tark-07b,
  AUTHOR = "Thomas {\AA}gotnes and Valentin Goranko and Wojciech Jamroga",
  TITLE = "Alternating-time Temporal Logics with Irrevocable Strategies",
  BOOKTITLE = "Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK XI)",
  ADDRESS = "Brussels, Belgium",
  YEAR = 2007,
  MONTH = "June",
  EDITOR = "Dov Samet",
  PAGES = "15--24",
  PUBLISHER = "Presses Universitaires de Louvain"
}