@Article{BroersenHerzigTroquardJLC06,
  author   = {Broersen, J.M. and Herzig, A. and Troquard, N.},
  title    = "{Embedding {A}lternating-time {T}emporal {L}ogic in strategic {STIT} logic of agency}",
  journal  = "Journal of Logic and Computation",
  year     = "2006",
  volume   = "16",
  number   = "5",
  pages    = "559-578",
  issn     = "1465-363X"
}