1. Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. J. ACM 49(5), 672–713 (2002)
2. Ansótegui, C., Gomes, C.P., Selman, B.: The Achilles’ heel of QBF. In: Proc. 20th Natl. Conf. on Artificial Intelligence and 17th Conf. on Innovative Applications of Artificial Intelligence (AAAI/IAAI 2005), pp. 275–281 (2005)
3. Benedetti, M., Lallouet, A., Vautard, J.: QCSP made practical by virtue of restricted quantification. In: Proc. 20th Intl. Joint Conf. on Artificial Intelligence (IJCAI 2007), pp. 38–43 (2007)
4. Lecture Notes in Computer Science;M. Benedetti,2008
5. Bodlaender, H.L.: On the complexity of some coloring games. Int. J. Found. Comput. Sci. 2(2), 133–147 (1991)