@inproceedings{Goranko12effectivity-aamas,
  author        = {V. Goranko and W. Jamroga},
  title         = {State and Path Effectivity Models for Logics of Multi-Player Games},
  booktitle     = {Proceedings of {AAMAS}},
  year          = {2012},
  pages         = {1123--1130},
  ulkey         = {Goranko:9834}
}