@inproceedings{AHK97,
	author    =	"R. Alur and T.A. Henzinger and O. Kupferman",
      	title     =     "Alternating-time temporal logic",
        booktitle = 	"Proceedings of the 38th {IEEE} Symposium
                         on Foundations of Computer Science",
        address   =     "Florida",
        month     =     "October",
        year      =     1997
}