@article{journals/tocl/GorankoS09,
  added-at = {2010-03-15T00:00:00.000+0100},
  author = {Goranko, Valentin and Shkatov, Dmitry},
  biburl = {http://www.bibsonomy.org/bibtex/247c86c79a8ac137484e3476cc6dc77c9/dblp},
  date = {2010-03-15},
  description = {dblp},
  ee = {http://doi.acm.org/10.1145/1614431.1614434},
  interhash = {20b92782eecf18987c2bb3cc232ee303},
  intrahash = {47c86c79a8ac137484e3476cc6dc77c9},
  journal = {ACM Trans. Comput. Log.},
  keywords = {dblp},
  number = 1,
  timestamp = {2010-03-15T00:00:00.000+0100},
  title = {Tableau-based decision procedures for logics of strategic ability in multiagent systems.},
  url = {http://dblp.uni-trier.de/db/journals/tocl/tocl11.html#GorankoS09},
  volume = 11,
  year = 2009
}